Mercurial Mercurial > wneuper > isa / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
src/Doc/Codegen/document/build
author wenzelm
Fri, 07 Dec 2012 18:05:24 +0100
changeset 51441 d2c60ada3ece
parent 50087 747835eb2782
child 53879 e7296939fec2
permissions -rwxr-xr-x
eliminated old copy of proof.sty (1995), prefer the one usually included in current latex distributions (2005);
\usepackage{proof} only where required; 
     1 #!/bin/bash

     2 

     3 set -e

     4 

     5 FORMAT="$1"

     6 VARIANT="$2"

     7 

     8 "$ISABELLE_TOOL" logo Isar

     9 

    10 cp "$ISABELLE_HOME/src/Doc/iman.sty" .

    11 cp "$ISABELLE_HOME/src/Doc/extra.sty" .

    12 cp "$ISABELLE_HOME/src/Doc/isar.sty" .

    13 cp "$ISABELLE_HOME/src/Doc/manual.bib" .

    14 

    15 for NAME in architecture adapt

    16 do

    17   latex "$NAME"

    18   $ISABELLE_DVIPS -E -o "$NAME.eps" "$NAME.dvi"

    19   $ISABELLE_EPSTOPDF "$NAME.eps"

    20 done

    21 

    22 "$ISABELLE_HOME/src/Doc/prepare_document" "$FORMAT"

    23
wneuper/isa