Make $MYDIR absolute -- bug reported by AMK.

diff --git a/Doc/tools/mkhowto.sh b/Doc/tools/mkhowto.sh
index 6b6bb962c61471e6fd5b5f8ae060ea197405ed4d..e3a0b7f4cf88610949bd941d07c8bd1dabb6b4fd 100755 (executable)
--- 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