diff --git a/docs/docs/installation.rst b/docs/docs/installation.rst index 22eeab11..f756702c 100644 --- a/docs/docs/installation.rst +++ b/docs/docs/installation.rst @@ -30,7 +30,7 @@ System-wide installation via a package manager Arch Linux ~~~~~~~~~~ -You can install jedi directly from official AUR packages: +You can install |jedi| directly from official AUR packages: - `python-jedi `__ - `python2-jedi `__ @@ -47,7 +47,7 @@ Debian packages are available as `experimental packages Others ~~~~~~ -We are in the discussion of adding Jedi to the Fedora repositories. +We are in the discussion of adding |jedi| to the Fedora repositories. Manual installation from a downloaded package @@ -55,7 +55,7 @@ Manual installation from a downloaded package If you prefer not to use an automated package installer, you can `download `__ a current copy of -*Jedi* and install it manually. +|jedi| and install it manually. To install it, navigate to the directory containing `setup.py` on your console and type::