| changeset 6623 | 021728c71030 |
| parent 6599 | dc5bf3f40ad3 |
| child 6629 | 6edc66a9d80b |
--- a/doc-src/AxClass/Makefile Mon May 10 15:35:03 1999 +0200 +++ b/doc-src/AxClass/Makefile Mon May 10 16:35:22 1999 +0200 @@ -20,3 +20,10 @@ $(NAME).dvi: $(FILES) $(LATEX) $(NAME) $(LATEX) $(NAME) + +pdf: $(NAME).pdf + +$(NAME).pdf: $(FILES) + $(PDFLATEX) $(NAME) + $(FIXBOOKMARKS) $(NAME).out + $(PDFLATEX) $(NAME)