Mercurial Mercurial > hg > isabelle-cookbook / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned IsaMakefile
authorChristian Urban <urbanc@in.tum.de>
Thu, 02 Oct 2008 05:30:46 -0400
changeset 18 b4c31af6af26
parent 17 8afa1c990a14
child 19 34b93dbf8c3c
tuned IsaMakefile
IsaMakefile file | annotate | diff | comparison | revisions 
--- a/IsaMakefile	Thu Oct 02 05:28:39 2008 -0400
+++ b/IsaMakefile	Thu Oct 02 05:30:46 2008 -0400
@@ -20,10 +20,10 @@
 
 cookbook: CookBook/ROOT.ML \
           CookBook/document/root.tex \
-          CookBook/document/cookbook.bib \
+          CookBook/document/root.bib \
           CookBook/*.thy
 	$(USEDIR) HOL CookBook
-	$(ISATOOL) document  CookBook/generated
+	$(ISATOOL) document -o pdf  CookBook/generated
 	@cp CookBook/document.pdf cookbook.pdf
 
 ## clean
isabelle-cookbook