diff -r c1d9a4ac9f8e -r 828ea293b61f IsaMakefile --- 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