diff --git a/Doc/tools/mkhowto.sh b/Doc/tools/mkhowto.sh
index 6b6bb962c61..e3a0b7f4cf8 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