lib/Tools/doc
changeset 2916 d761a62da697
parent 2332 ae592411c199
child 2936 bd33e7aae062
     1.1 --- a/lib/Tools/doc	Fri Apr 04 19:09:21 1997 +0200
     1.2 +++ b/lib/Tools/doc	Fri Apr 04 19:10:22 1997 +0200
     1.3 @@ -45,7 +45,7 @@
     1.4  else
     1.5    for DIR in $ISABELLE_DOCS
     1.6    do
     1.7 -    [ -f $DIR/$DOC.dvi ] && exec $DVI_VIEWER $DIR/$DOC.dvi
     1.8 +    [ -f $DIR/$DOC.dvi ] && { cd $DIR; exec $DVI_VIEWER $DOC.dvi }
     1.9    done
    1.10    fail "Unknown Isabelle document: $DOC"  
    1.11  fi