doc-src/ZF/Makefile

--- a/doc-src/ZF/Makefile	Mon May 02 17:07:46 2011 +0200
+++ b/doc-src/ZF/Makefile	Mon May 02 17:12:11 2011 +0200
@@ -16,9 +16,6 @@
   ../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