| changeset 6623 | 021728c71030 |
| parent 6601 | 51eed1aefccd |
| child 6629 | 6edc66a9d80b |
--- a/doc-src/System/Makefile Mon May 10 15:35:03 1999 +0200 +++ b/doc-src/System/Makefile Mon May 10 16:35:22 1999 +0200 @@ -24,3 +24,12 @@ $(LATEX) $(NAME) $(SEDINDEX) $(NAME) $(LATEX) $(NAME) + +pdf: $(NAME).pdf + +$(NAME).pdf: $(FILES) isabelle.pdf + touch $(NAME).ind + $(PDFLATEX) $(NAME) + $(PDFLATEX) $(NAME) + $(SEDINDEX) $(NAME) + $(PDFLATEX) $(NAME)