| changeset 52415 | d9fed6e99a57 |
| parent 52414 | 8429123bc58a |
| child 52416 | 383ffec6a548 |
--- a/src/Doc/Ref/document/build Tue Jun 18 15:15:36 2013 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,16 +0,0 @@ -#!/bin/bash - -set -e - -FORMAT="$1" -VARIANT="$2" - -"$ISABELLE_TOOL" logo - -cp "$ISABELLE_HOME/src/Doc/iman.sty" . -cp "$ISABELLE_HOME/src/Doc/extra.sty" . -cp "$ISABELLE_HOME/src/Doc/ttbox.sty" . -cp "$ISABELLE_HOME/src/Doc/manual.bib" . - -"$ISABELLE_HOME/src/Doc/prepare_document" "$FORMAT" -