Changeset 4118 for trunk/INSTALL.txt

Show
Ignore:
Timestamp:
03/02/08 07:52:10 (10 months ago)
Author:
pmoura
Message:

Simplified manual installation instructions.

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/INSTALL.txt

    r4102 r4118  
    6969by a user with administration privileges. The two environment variables can  
    7070have the same value if you are the only Logtalk user on your computer and if  
    71 you have full permissions to the Logtalk installation directory. In addition,  
    72 you may want to add the Logtalk sub-directory "xml", which contains useful  
    73 scripts for processing XML documenting files, to your execution path. 
     71you have full permissions to the Logtalk installation directory. 
    7472 
    7573>> POSIX systems: 
    … …  
    7977    setenv LOGTALKHOME /your/logtalk/installation/directory 
    8078    setenv LOGTALKUSER $HOME/logtalk 
    81     setenv PATH $PATH:$LOGTALKHOME/xml:$LOGTALKHOME/scripts 
    8279 
    8380If you use a bash shell, add the following lines to your ~/.profile file: 
    … …  
    8582    LOGTALKHOME=/your/logtalk/installation/directory 
    8683    LOGTALKUSER=$HOME/logtalk 
    87     PATH=$PATH:$LOGTALKHOME/xml:$LOGTALKHOME/scripts 
    88     export PATH LOGTALKHOME LOGTALKUSER 
    8984 
    9085When using the provided shell script for installing Logtalk, a symbolic link