Mercurial Mercurial > hg > isabelle-cookbook / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
ProgTutorial/document/build
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Sat, 01 Dec 2012 14:51:19 +0000
changeset 539 12861a362099
parent 537 308ba2488d40
child 549 4d7543f48476
permissions -rwxr-xr-x
updated to new isabelle

#!/bin/bash

set -e

FORMAT="$1"
VARIANT="$2"

hg parent --template '{date|shortdate}' > tip.tex

"$ISABELLE_TOOL" version > version.tex

"$ISABELLE_TOOL" latex -o "$FORMAT"
"$ISABELLE_TOOL" latex -o "$FORMAT"
"$ISABELLE_TOOL" latex -o bbl
makeindex -o root.stu root.str
"$ISABELLE_TOOL" latex -o "$FORMAT"
"$ISABELLE_TOOL" latex -o "$FORMAT"
cp root.pdf ../document.pdf
mv root.pdf ../progtutorial.pdf


#"$ISABELLE_HOME/doc-src/sedindex" root
#+[ -f root.out ] && "$ISABELLE_HOME/doc-src/fixbookmarks" root.out
#+"$ISABELLE_TOOL" latex -o "$FORMAT"
#+"$ISABELLE_TOOL" latex -o "$FORMAT"
#$(ISABELLE_TOOL) document -o pdf  ProgTutorial/generated
#	makeindex -o ProgTutorial/generated/root.stu ProgTutorial/generated/root.str
isabelle-cookbook