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/Logics/document/build
author wenzelm
Fri, 07 Dec 2012 18:05:24 +0100
changeset 51441 d2c60ada3ece
parent 50087 747835eb2782
child 54635 05313b45a5ae
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

     9 

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

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

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

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

    14 

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

    16
wneuper/isa