diff -r 9d107a52b634 -r b9c106763325 doc-src/IsarImplementation/Makefile
--- a/doc-src/IsarImplementation/Makefile	Sat Apr 30 23:27:57 2011 +0200
+++ b/doc-src/IsarImplementation/Makefile	Sun May 01 00:01:59 2011 +0200
@@ -22,7 +22,6 @@
 
 $(NAME).dvi: $(FILES) isabelle_isar.eps
 	$(LATEX) $(NAME)
-	$(RAIL) $(NAME)
 	$(BIBTEX) $(NAME)
 	$(LATEX) $(NAME)
 	$(LATEX) $(NAME)
@@ -34,7 +33,6 @@
 
 $(NAME).pdf: $(FILES) isabelle_isar.pdf
 	$(PDFLATEX) $(NAME)
-	$(RAIL) $(NAME)
 	$(BIBTEX) $(NAME)
 	$(PDFLATEX) $(NAME)
 	$(PDFLATEX) $(NAME)