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

48942 75d8778f94d3 more standard document preparation within session context; wenzelm parents: diff changeset	1	#!/bin/bash
75d8778f94d3 more standard document preparation within session context; wenzelm parents: diff changeset	2
75d8778f94d3 more standard document preparation within session context; wenzelm parents: diff changeset	3	set -e
75d8778f94d3 more standard document preparation within session context; wenzelm parents: diff changeset	4
75d8778f94d3 more standard document preparation within session context; wenzelm parents: diff changeset	5	FORMAT="$1"
75d8778f94d3 more standard document preparation within session context; wenzelm parents: diff changeset	6	VARIANT="$2"
75d8778f94d3 more standard document preparation within session context; wenzelm parents: diff changeset	7
75d8778f94d3 more standard document preparation within session context; wenzelm parents: diff changeset	8	"$ISABELLE_TOOL" logo -o isabelle.pdf ""
75d8778f94d3 more standard document preparation within session context; wenzelm parents: diff changeset	9	"$ISABELLE_TOOL" logo -o isabelle.eps ""
75d8778f94d3 more standard document preparation within session context; wenzelm parents: diff changeset	10
75d8778f94d3 more standard document preparation within session context; wenzelm parents: diff changeset	11	cp "$ISABELLE_HOME/doc-src/iman.sty" .
75d8778f94d3 more standard document preparation within session context; wenzelm parents: diff changeset	12	cp "$ISABELLE_HOME/doc-src/extra.sty" .
75d8778f94d3 more standard document preparation within session context; wenzelm parents: diff changeset	13	cp "$ISABELLE_HOME/doc-src/ttbox.sty" .
75d8778f94d3 more standard document preparation within session context; wenzelm parents: diff changeset	14	cp "$ISABELLE_HOME/doc-src/proof.sty" .
75d8778f94d3 more standard document preparation within session context; wenzelm parents: diff changeset	15	cp "$ISABELLE_HOME/doc-src/manual.bib" .
75d8778f94d3 more standard document preparation within session context; wenzelm parents: diff changeset	16
75d8778f94d3 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: 48942 diff changeset	18	cp "$ISABELLE_HOME/doc-src/pdfsetup.sty" .
d54a3d39ba85 prefer doc-src/pdfsetup.sty; wenzelm parents: 48942 diff changeset	19
48942 75d8778f94d3 more standard document preparation within session context; wenzelm parents: diff changeset	20	"$ISABELLE_TOOL" latex -o "$FORMAT"
75d8778f94d3 more standard document preparation within session context; wenzelm parents: diff changeset	21	"$ISABELLE_TOOL" latex -o bbl
75d8778f94d3 more standard document preparation within session context; wenzelm parents: diff changeset	22	"$ISABELLE_TOOL" latex -o "$FORMAT"
75d8778f94d3 more standard document preparation within session context; wenzelm parents: diff changeset	23	"$ISABELLE_TOOL" latex -o "$FORMAT"
75d8778f94d3 more standard document preparation within session context; wenzelm parents: diff changeset	24	"$ISABELLE_HOME/doc-src/sedindex" root
75d8778f94d3 more standard document preparation within session context; wenzelm parents: diff changeset	25	[ -f root.out ] && "$ISABELLE_HOME/doc-src/fixbookmarks" root.out
75d8778f94d3 more standard document preparation within session context; wenzelm parents: diff changeset	26	"$ISABELLE_TOOL" latex -o "$FORMAT"
75d8778f94d3 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 48942	75d8778f94d3
child 48971	5a4bcf466156
permissions	-rwxr-xr-x