Mercurial Mercurial > hg > regexp / 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 66 828ea293b61f
parent 62 d94209ad2880
child 72 e5116c2e6187 
--- a/IsaMakefile	Fri Feb 04 13:33:18 2011 +0000
+++ b/IsaMakefile	Fri Feb 04 22:54:29 2011 +0000
@@ -51,6 +51,7 @@
 itp: session3
 	rm -f Paper/generated/*.aux # otherwise latex will fall over      
 	cd Paper/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex 
+	cd Paper/generated ; bibtex root
 	cd Paper/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex
 	cp Paper/generated/root.pdf paper.pdf
regexp