lib/Tools/document
changeset 28500 4b79e5d3d0aa
parent 26979 c58778bdf146
child 28650 a7ba12e0d3b7
     1.1 --- a/lib/Tools/document	Sat Oct 04 16:05:08 2008 +0200
     1.2 +++ b/lib/Tools/document	Sat Oct 04 16:05:09 2008 +0200
     1.3 @@ -119,11 +119,11 @@
     1.4  {
     1.5    local FMT="$1"
     1.6    [ -n "$CLEAN" ] && rm -f *.aux *.out *.ind *.idx *.ilg *.bbl *.blg *.log
     1.7 -  "$ISATOOL" latex -o sty && \
     1.8 -  "$ISATOOL" latex -o "$FMT" && \
     1.9 -  { [ ! -f root.bib ] || "$ISATOOL" latex -o bbl; } && \
    1.10 -  { [ ! -f root.idx ] || "$ISATOOL" latex -o idx; } && \
    1.11 -  "$ISATOOL" latex -o "$FMT"
    1.12 +  "$ISABELLE_TOOL" latex -o sty && \
    1.13 +  "$ISABELLE_TOOL" latex -o "$FMT" && \
    1.14 +  { [ ! -f root.bib ] || "$ISABELLE_TOOL" latex -o bbl; } && \
    1.15 +  { [ ! -f root.idx ] || "$ISABELLE_TOOL" latex -o idx; } && \
    1.16 +  "$ISABELLE_TOOL" latex -o "$FMT"
    1.17  }
    1.18  
    1.19  (
    1.20 @@ -134,15 +134,15 @@
    1.21    prep_tags
    1.22  
    1.23    if [ -f IsaMakefile ]; then
    1.24 -    "$ISATOOL" make "$OUTFORMAT"
    1.25 +    "$ISABELLE_TOOL" make "$OUTFORMAT"
    1.26      RC="$?"
    1.27    elif [ "$OUTFORMAT" = pdf ]; then
    1.28      pre_latex pdf && \
    1.29 -    "$ISATOOL" latex -o pdf
    1.30 +    "$ISABELLE_TOOL" latex -o pdf
    1.31      RC="$?"
    1.32    else
    1.33      pre_latex dvi && \
    1.34 -    "$ISATOOL" latex -o "$OUTFORMAT"
    1.35 +    "$ISABELLE_TOOL" latex -o "$OUTFORMAT"
    1.36      RC="$?"
    1.37    fi
    1.38