Commits

krauss  committed 31ad454 Draft

oops: actually create "setpaths" file in the workbench root; corrected message

  • Participants
  • Parent commits 6223418

Comments (0)

Files changed (1)

 fi
 
 
+cd $WORKBENCH
 cat > setpaths <<EOF
 
 export PATH=$WORKBENCH/ocaml/bin:\$PATH
 export OCAMLLIB=$WORKBENCH/ocaml/lib/ocaml
 EOF
 
-echo "Done. Run \". setpath\", to set adjust PATH"
+echo "Done. Run \". setpaths\", to set adjust PATH"