Changeset 10687
- Timestamp:
- 2005-10-05T10:18:52+13:00 (18 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/gli.sh
r9656 r10687 93 93 # Setup Greenstone, unless it has already been done 94 94 if [ "$GSDLHOME" == "" ]; then 95 pushd $gsdlpath> /dev/null95 pushd "$gsdlpath" > /dev/null 96 96 source setup.bash 97 97 popd > /dev/null
Note:
See TracChangeset
for help on using the changeset viewer.