changeset 1397:bf8b5b8a5a43

doc/install: we don't install any binaries, so don't mention $PATH
author Martin Geisler <mg@cs.au.dk>
date Wed, 25 Nov 2009 14:32:31 +0100
parents 866a0167ddeb
children 4e9747693979
files doc/install.txt
diffstat 1 files changed, 2 insertions(+), 9 deletions(-) [+]
line wrap: on
line diff
--- a/doc/install.txt	Thu Nov 12 11:40:17 2009 +0100
+++ b/doc/install.txt	Wed Nov 25 14:32:31 2009 +0100
@@ -159,17 +159,10 @@
 
    $HOME/opt/lib/python
 
-and some programs are installed into::
-
-   $HOME/opt/bin
-
-You should add the first directory to the ``PYTHONPATH`` environment
-variable and the latter to the ``PATH`` environment variable.
-
-Bash users can normally do this by adding::
+You should add the directory to the ``PYTHONPATH`` environment
+variable. Bash users can normally do this by adding::
 
    export PYTHONPATH=$PYTHONPATH:$HOME/opt/lib/python
-   export PATH=$PATH:$HOME/opt/bin
 
 to their ``~/.bash_profile`` file, creating it if it is not already
 there. Consult the documentation for your shell to learn how