| changeset 45246 | 4fbeabee6487 |
| parent 45224 | b1d5b3820d82 |
| child 45259 | d32872ce58ce |
--- a/src/HOL/IsaMakefile Fri Oct 21 17:39:07 2011 +0200 +++ b/src/HOL/IsaMakefile Sat Oct 22 20:17:50 2011 +0200 @@ -531,8 +531,7 @@ IMP/Sec_TypingT.thy IMP/Small_Step.thy IMP/Star.thy IMP/Types.thy \ IMP/Util.thy IMP/VC.thy IMP/Vars.thy \ IMP/ROOT.ML IMP/document/root.tex IMP/document/root.bib - @cd IMP && $(ISABELLE_TOOL) usedir -g true -b $(OUT)/HOL HOL-IMP - + @cd IMP && $(ISABELLE_TOOL) usedir -g true -D generated -b $(OUT)/HOL HOL-IMP && cd generated && pdflatex root.tex ## HOL-IMPP