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 58 0d4d5bb321dc
parent 55 d71424eb5d0c
child 62 d94209ad2880 
--- a/IsaMakefile	Wed Feb 02 13:25:09 2011 +0000
+++ b/IsaMakefile	Wed Feb 02 13:54:07 2011 +0000
@@ -51,6 +51,8 @@
 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
 	cd Paper/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex
 	cp Paper/generated/root.pdf paper.pdf
regexp