lib/Tools/doc

--- a/lib/Tools/doc	Fri Apr 04 19:09:21 1997 +0200
+++ b/lib/Tools/doc	Fri Apr 04 19:10:22 1997 +0200
@@ -45,7 +45,7 @@
 else
   for DIR in $ISABELLE_DOCS
   do
-    [ -f $DIR/$DOC.dvi ] && exec $DVI_VIEWER $DIR/$DOC.dvi
+    [ -f $DIR/$DOC.dvi ] && { cd $DIR; exec $DVI_VIEWER $DOC.dvi }
   done
   fail "Unknown Isabelle document: $DOC"  
 fi