--- a/doc-src/ZF/Makefile Sun May 01 17:42:21 2011 +0200
+++ b/doc-src/ZF/Makefile Sun May 01 17:55:29 2011 +0200
@@ -16,11 +16,13 @@
../rail.sty ../proof.sty ../iman.sty ../extra.sty ../ttbox.sty \
../../lib/texinputs/isabelle.sty ../../lib/texinputs/isabellesym.sty ../pdfsetup.sty ../manual.bib
+rail:
+ $(RAIL) $(NAME)
+
dvi: $(NAME).dvi
$(NAME).dvi: $(FILES) isabelle_zf.eps
$(LATEX) $(NAME)
- $(RAIL) $(NAME)
$(BIBTEX) $(NAME)
$(LATEX) $(NAME)
$(LATEX) $(NAME)
@@ -31,7 +33,6 @@
$(NAME).pdf: $(FILES) isabelle_zf.pdf
$(PDFLATEX) $(NAME)
- $(RAIL) $(NAME)
$(BIBTEX) $(NAME)
$(PDFLATEX) $(NAME)
$(PDFLATEX) $(NAME)