lib/Tools/doc
changeset 28500 4b79e5d3d0aa
parent 15717 541e50adfc73
child 28650 a7ba12e0d3b7
     1.1 --- a/lib/Tools/doc	Sat Oct 04 16:05:08 2008 +0200
     1.2 +++ b/lib/Tools/doc	Sat Oct 04 16:05:09 2008 +0200
     1.3 @@ -53,7 +53,7 @@
     1.4      [ -d "$DIR" ] || fail "Bad document directory: $DIR"
     1.5      for FMT in "$ISABELLE_DOC_FORMAT" dvi
     1.6      do
     1.7 -      [ -f "$DIR/$DOC.$FMT" ] && { cd "$DIR"; exec "$ISATOOL" display "$DOC.$FMT"; }
     1.8 +      [ -f "$DIR/$DOC.$FMT" ] && { cd "$DIR"; exec "$ISABELLE_TOOL" display "$DOC.$FMT"; }
     1.9      done
    1.10    done
    1.11    IFS="$ORIG_IFS"