Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned xdvi invocation;
authorwenzelm
Fri, 04 Apr 1997 19:10:22 +0200
changeset 2916 d761a62da697
parent 2915 4d2d409fe2ea
child 2917 c7411fce37e4
tuned xdvi invocation;
lib/Tools/doc file | annotate | diff | comparison | revisions 
--- 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
isabelle