eliminated separate rail/latex phase;

--- 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)