| changeset 56451 | 856492b0f755 |
| parent 56450 | 16d4213d4cbc |
| child 56452 | 0c98c9118407 |
--- a/src/Doc/Logics-ZF/document/build Mon Apr 07 16:37:57 2014 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,16 +0,0 @@ -#!/usr/bin/env bash - -set -e - -FORMAT="$1" -VARIANT="$2" - -"$ISABELLE_TOOL" logo ZF - -cp "$ISABELLE_HOME/src/Doc/isar.sty" . -cp "$ISABELLE_HOME/src/Doc/ttbox.sty" . -cp "$ISABELLE_HOME/src/Doc/manual.bib" . -cp "$ISABELLE_HOME/src/Doc/Logics/document/syntax.tex" . - -"$ISABELLE_HOME/src/Doc/prepare_document" "$FORMAT" -