src/Doc/System/document/build
author wenzelm
Fri May 17 19:04:52 2013 +0200 (2013-05-17)
changeset 52056 fc458f304f93
parent 49072 747835eb2782
child 53498 05313b45a5ae
permissions -rwxr-xr-x
added isabelle-process option -o;
wenzelm@48937
     1
#!/bin/bash
wenzelm@48937
     2
wenzelm@48937
     3
set -e
wenzelm@48937
     4
wenzelm@48937
     5
FORMAT="$1"
wenzelm@48937
     6
VARIANT="$2"
wenzelm@48937
     7
wenzelm@49072
     8
"$ISABELLE_TOOL" logo
wenzelm@48937
     9
wenzelm@48985
    10
cp "$ISABELLE_HOME/src/Doc/IsarRef/document/style.sty" .
wenzelm@48985
    11
cp "$ISABELLE_HOME/src/Doc/iman.sty" .
wenzelm@48985
    12
cp "$ISABELLE_HOME/src/Doc/extra.sty" .
wenzelm@48985
    13
cp "$ISABELLE_HOME/src/Doc/isar.sty" .
wenzelm@48985
    14
cp "$ISABELLE_HOME/src/Doc/ttbox.sty" .
wenzelm@48985
    15
cp "$ISABELLE_HOME/src/Doc/underscore.sty" .
wenzelm@48985
    16
cp "$ISABELLE_HOME/src/Doc/manual.bib" .
wenzelm@48937
    17
wenzelm@48985
    18
"$ISABELLE_HOME/src/Doc/prepare_document" "$FORMAT"
wenzelm@48956
    19