From c6c49d147600c1cf830d57d343df2bb71eb22a29 Mon Sep 17 00:00:00 2001 From: Trevor Sullivan Date: Wed, 12 Jun 2019 07:10:56 -0700 Subject: [PATCH] Update manual installation directions --- docs/docs/installation.rst | 11 +++-------- 1 file changed, 3 insertions(+), 8 deletions(-) diff --git a/docs/docs/installation.rst b/docs/docs/installation.rst index 9058cf55..8499b94c 100644 --- a/docs/docs/installation.rst +++ b/docs/docs/installation.rst @@ -57,19 +57,14 @@ Others We are in the discussion of adding |jedi| to the Fedora repositories. -Manual installation from a downloaded package +Manual installation from GitHub --------------------------------------------- -If you prefer not to use an automated package installer, you can `download -`__ a current copy of -|jedi| and install it manually. - -To install it, navigate to the directory containing `setup.py` on your console -and type:: +If you prefer not to use an automated package installer, you can clone the source from GitHub and install it manually. To install it, run these commands:: + git clone --recurse-submodules sudo python setup.py install - Inclusion as a submodule ------------------------