--- a/doc-src/HOL/Makefile Sun May 01 17:42:21 2011 +0200
+++ b/doc-src/HOL/Makefile Sun May 01 17:55:29 2011 +0200
@@ -15,11 +15,13 @@
FILES = logics-HOL.tex ../Logics/syntax.tex HOL.tex \
../rail.sty ../proof.sty ../iman.sty ../extra.sty ../ttbox.sty ../manual.bib
+rail:
+ $(RAIL) $(NAME)
+
dvi: $(NAME).dvi
$(NAME).dvi: $(FILES) isabelle_hol.eps
$(LATEX) $(NAME)
- $(RAIL) $(NAME)
$(BIBTEX) $(NAME)
$(LATEX) $(NAME)
$(LATEX) $(NAME)
@@ -30,7 +32,6 @@
$(NAME).pdf: $(FILES) isabelle_hol.pdf
$(PDFLATEX) $(NAME)
- $(RAIL) $(NAME)
$(BIBTEX) $(NAME)
$(PDFLATEX) $(NAME)
$(PDFLATEX) $(NAME)