--- a/doc-src/IsarAdvanced/Codegen/Makefile Tue Nov 21 20:58:15 2006 +0100
+++ b/doc-src/IsarAdvanced/Codegen/Makefile Wed Nov 22 10:20:09 2006 +0100
@@ -19,7 +19,7 @@
dvi: $(NAME).dvi
-$(NAME).dvi: $(FILES) isabelle_isar.eps
+$(NAME).dvi: $(FILES) isabelle_isar.eps codegen_process.ps
$(LATEX) $(NAME)
$(BIBTEX) $(NAME)
$(LATEX) $(NAME)
@@ -27,7 +27,7 @@
pdf: $(NAME).pdf
-$(NAME).pdf: $(FILES) isabelle_isar.pdf
+$(NAME).pdf: $(FILES) isabelle_isar.pdf codegen_process.pdf
$(PDFLATEX) $(NAME)
$(BIBTEX) $(NAME)
$(PDFLATEX) $(NAME)