diff -r b68e1c27709a -r 57367832b81a doc-src/HOL/Makefile
--- 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)