| changeset 42510 | b9c106763325 |
| parent 39827 | d829ce302ca4 |
| child 42511 | bf89455ccf9d |
--- a/doc-src/IsarImplementation/Makefile Sat Apr 30 23:27:57 2011 +0200 +++ b/doc-src/IsarImplementation/Makefile Sun May 01 00:01:59 2011 +0200 @@ -22,7 +22,6 @@ $(NAME).dvi: $(FILES) isabelle_isar.eps $(LATEX) $(NAME) - $(RAIL) $(NAME) $(BIBTEX) $(NAME) $(LATEX) $(NAME) $(LATEX) $(NAME) @@ -34,7 +33,6 @@ $(NAME).pdf: $(FILES) isabelle_isar.pdf $(PDFLATEX) $(NAME) - $(RAIL) $(NAME) $(BIBTEX) $(NAME) $(PDFLATEX) $(NAME) $(PDFLATEX) $(NAME)