changeset 1401:4e9747693979

Merged with Martin.
author Thomas P Jakobsen <tpj@cs.au.dk>
date Fri, 27 Nov 2009 16:27:07 +0100
parents 3a225dcdaccb bf8b5b8a5a43
children 8fc8a6057bcd
files
diffstat 1 files changed, 2 insertions(+), 9 deletions(-) [+]
line wrap: on
line diff
--- a/doc/install.txt	Fri Nov 27 16:25:50 2009 +0100
+++ b/doc/install.txt	Fri Nov 27 16:27:07 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