src/Doc/prepare_document
author blanchet
Tue Nov 07 15:16:42 2017 +0100 (19 months ago)
changeset 67022 49309fe530fd
parent 62589 b5783412bfed
permissions -rwxr-xr-x
more robust parsing for THF proofs (esp. polymorphic Leo-III proofs)
wenzelm@53498
     1
#!/usr/bin/env bash
wenzelm@48971
     2
wenzelm@48971
     3
set -e
wenzelm@48971
     4
wenzelm@48971
     5
FORMAT="$1"
wenzelm@48971
     6
wenzelm@62589
     7
isabelle latex -o sty
wenzelm@48985
     8
cp "$ISABELLE_HOME/src/Doc/pdfsetup.sty" .
wenzelm@48971
     9
wenzelm@62589
    10
isabelle latex -o "$FORMAT"
wenzelm@62589
    11
isabelle latex -o bbl
wenzelm@48985
    12
[ -f root.idx ] && "$ISABELLE_HOME/src/Doc/sedindex" root
wenzelm@62589
    13
isabelle latex -o "$FORMAT"
wenzelm@48985
    14
[ -f root.out ] && "$ISABELLE_HOME/src/Doc/fixbookmarks" root.out
wenzelm@62589
    15
isabelle latex -o "$FORMAT"
wenzelm@48971
    16