Mercurial Mercurial > hg > nominal2 / diff
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.
IsaMakefile
changeset 1775 86122d793f32
parent 1774 c34347ec7ab3
child 1785 95df71c3df2f 
--- a/IsaMakefile	Sun Apr 04 21:39:28 2010 +0200
+++ b/IsaMakefile	Tue Apr 06 07:36:15 2010 +0200
@@ -27,7 +27,7 @@
 
 paper: $(LOG)/HOL-Nominal2-Paper.gz
 
-$(LOG)/HOL-Nominal2-Paper.gz: Paper/ROOT.ML Paper/document/root.tex Paper/*.thy
+$(LOG)/HOL-Nominal2-Paper.gz: Paper/ROOT.ML Paper/document/root.* Paper/*.thy
 	@$(USEDIR) -D generated Nominal Paper
 	$(ISABELLE_TOOL) document -o pdf  Paper/generated
 	@cp Paper/document.pdf paper.pdf
@@ -36,7 +36,7 @@
 
 pearl: $(LOG)/HOL-Pearl.gz
 
-$(LOG)/HOL-Pearl.gz: Nominal-General/Nominal*.thy Pearl/ROOT.ML Pearl/document/root.* Pearl/*.thy
+$(LOG)/HOL-Pearl.gz: Pearl/ROOT.ML Pearl/document/root.* Pearl/*.thy
 	@$(USEDIR) -D generated HOL Pearl
 	$(ISABELLE_TOOL) document -o pdf Pearl/generated
 	@cp Pearl/document.pdf pearl.pdf
nominal2