isabelle: doc-src/ZF/document/build@d54a3d39ba85 (annotated)

48946 a9b8344f5196 more standard document preparation within session context; wenzelm parents: diff changeset	1	#!/bin/bash
a9b8344f5196 more standard document preparation within session context; wenzelm parents: diff changeset	2
a9b8344f5196 more standard document preparation within session context; wenzelm parents: diff changeset	3	set -e
a9b8344f5196 more standard document preparation within session context; wenzelm parents: diff changeset	4
a9b8344f5196 more standard document preparation within session context; wenzelm parents: diff changeset	5	FORMAT="$1"
a9b8344f5196 more standard document preparation within session context; wenzelm parents: diff changeset	6	VARIANT="$2"
a9b8344f5196 more standard document preparation within session context; wenzelm parents: diff changeset	7
a9b8344f5196 more standard document preparation within session context; wenzelm parents: diff changeset	8	"$ISABELLE_TOOL" logo -o isabelle_zf.pdf "ZF"
a9b8344f5196 more standard document preparation within session context; wenzelm parents: diff changeset	9	"$ISABELLE_TOOL" logo -o isabelle_zf.eps "ZF"
a9b8344f5196 more standard document preparation within session context; wenzelm parents: diff changeset	10
48956 d54a3d39ba85 prefer doc-src/pdfsetup.sty; wenzelm parents: 48946 diff changeset	11	cp "$ISABELLE_HOME/doc-src/isar.sty" .
48946 a9b8344f5196 more standard document preparation within session context; wenzelm parents: diff changeset	12	cp "$ISABELLE_HOME/doc-src/ttbox.sty" .
a9b8344f5196 more standard document preparation within session context; wenzelm parents: diff changeset	13	cp "$ISABELLE_HOME/doc-src/proof.sty" .
a9b8344f5196 more standard document preparation within session context; wenzelm parents: diff changeset	14	cp "$ISABELLE_HOME/doc-src/manual.bib" .
a9b8344f5196 more standard document preparation within session context; wenzelm parents: diff changeset	15	cp "$ISABELLE_HOME/doc-src/Logics/document/syntax.tex" .
a9b8344f5196 more standard document preparation within session context; wenzelm parents: diff changeset	16
a9b8344f5196 more standard document preparation within session context; wenzelm parents: diff changeset	17	"$ISABELLE_TOOL" latex -o sty
48956 d54a3d39ba85 prefer doc-src/pdfsetup.sty; wenzelm parents: 48946 diff changeset	18	cp "$ISABELLE_HOME/doc-src/pdfsetup.sty" .
d54a3d39ba85 prefer doc-src/pdfsetup.sty; wenzelm parents: 48946 diff changeset	19
48946 a9b8344f5196 more standard document preparation within session context; wenzelm parents: diff changeset	20	"$ISABELLE_TOOL" latex -o "$FORMAT"
a9b8344f5196 more standard document preparation within session context; wenzelm parents: diff changeset	21	"$ISABELLE_TOOL" latex -o bbl
a9b8344f5196 more standard document preparation within session context; wenzelm parents: diff changeset	22	"$ISABELLE_TOOL" latex -o "$FORMAT"
a9b8344f5196 more standard document preparation within session context; wenzelm parents: diff changeset	23	"$ISABELLE_TOOL" latex -o "$FORMAT"
a9b8344f5196 more standard document preparation within session context; wenzelm parents: diff changeset	24	"$ISABELLE_HOME/doc-src/sedindex" root
a9b8344f5196 more standard document preparation within session context; wenzelm parents: diff changeset	25	[ -f root.out ] && "$ISABELLE_HOME/doc-src/fixbookmarks" root.out
a9b8344f5196 more standard document preparation within session context; wenzelm parents: diff changeset	26	"$ISABELLE_TOOL" latex -o "$FORMAT"
a9b8344f5196 more standard document preparation within session context; wenzelm parents: diff changeset	27	"$ISABELLE_TOOL" latex -o "$FORMAT"

author	wenzelm
	Tue, 28 Aug 2012 12:22:10 +0200
changeset 48956	d54a3d39ba85
parent 48946	a9b8344f5196
child 48971	5a4bcf466156
permissions	-rwxr-xr-x