diff options
| -rwxr-xr-x | Doc/tools/mkhowto.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Doc/tools/mkhowto.sh b/Doc/tools/mkhowto.sh index 6b6bb96..e3a0b7f 100755 --- a/Doc/tools/mkhowto.sh +++ b/Doc/tools/mkhowto.sh @@ -1,6 +1,10 @@ #! /depot/gnu/plat/bin/bash MYDIR=`dirname $0` +WORKDIR=`pwd` +cd $MYDIR +MYDIR=`pwd` +cd $WORKDIR # DEFAULT_FORMAT must be upper case... DEFAULT_FORMAT=PDF |