diff --git a/docs/manual/install.html b/docs/manual/install.html index 1762c6dc3..b51f60613 100644 --- a/docs/manual/install.html +++ b/docs/manual/install.html @@ -135,6 +135,11 @@ the environment:
export JAVA_HOME=/usr/local/jdk-1.2.2 export PATH=${PATH}:${ANT_HOME}/bin +setenv ANT_HOME /usr/local/ant +setenv JAVA_HOME /usr/local/jdk-1.2.2 +set path=( $path $ANT_HOME/bin )+