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