| changeset 42618 | a38e0f15d765 |
| parent 42511 | bf89455ccf9d |
| child 42632 | ebec0c1a5984 |
--- a/doc-src/IsarRef/Makefile Mon May 02 17:06:40 2011 +0200 +++ b/doc-src/IsarRef/Makefile Mon May 02 17:07:46 2011 +0200 @@ -30,7 +30,6 @@ $(NAME).dvi: $(FILES) isabelle_isar.eps syms.tex $(LATEX) $(NAME) - $(RAIL) $(NAME) $(BIBTEX) $(NAME) $(LATEX) $(NAME) $(LATEX) $(NAME) @@ -41,7 +40,6 @@ $(NAME).pdf: $(FILES) isabelle_isar.pdf syms.tex $(PDFLATEX) $(NAME) - $(RAIL) $(NAME) $(BIBTEX) $(NAME) $(PDFLATEX) $(NAME) $(PDFLATEX) $(NAME)