| changeset 56420 | b266e7a86485 |
| parent 56419 | f47de9e82b0f |
| child 56431 | 4eb88149c7b2 |
--- a/src/Doc/ZF/document/build Sat Apr 05 17:52:29 2014 +0100 +++ /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" -