| changeset 6620 | fc991461c7b9 |
| parent 6594 | fe2f5024f89e |
| child 6623 | 021728c71030 |
--- a/doc-src/HOL/Makefile Mon May 10 15:17:14 1999 +0200 +++ b/doc-src/HOL/Makefile Mon May 10 15:26:30 1999 +0200 @@ -27,3 +27,17 @@ $(LATEX) $(NAME) $(SEDINDEX) $(NAME) $(LATEX) $(NAME) + + +pdf: $(NAME).pdf + +$(NAME).pdf: $(FILES) isabelle_hol.pdf + touch $(NAME).ind + $(PDFLATEX) $(NAME) + $(RAIL) $(NAME) + $(BIBTEX) $(NAME) + $(PDFLATEX) $(NAME) + $(PDFLATEX) $(NAME) + $(SEDINDEX) $(NAME) + $(FIXBOOKMARKS) $(NAME).out + $(PDFLATEX) $(NAME)