changeset 6623 | 021728c71030 |
parent 6595 | fc06a79e1f09 |
child 6629 | 6edc66a9d80b |
--- a/doc-src/ZF/Makefile Mon May 10 15:35:03 1999 +0200 +++ b/doc-src/ZF/Makefile Mon May 10 16:35:22 1999 +0200 @@ -27,3 +27,16 @@ $(LATEX) $(NAME) $(SEDINDEX) $(NAME) $(LATEX) $(NAME) + +pdf: $(NAME).pdf + +$(NAME).pdf: $(FILES) isabelle_zf.pdf + touch $(NAME).ind + $(PDFLATEX) $(NAME) + $(RAIL) $(NAME) + $(BIBTEX) $(NAME) + $(PDFLATEX) $(NAME) + $(PDFLATEX) $(NAME) + $(SEDINDEX) $(NAME) + $(FIXBOOKMARKS) $(NAME).out + $(PDFLATEX) $(NAME)