--- a/doc-src/HOL/Makefile	Mon May 02 21:33:21 2011 +0200
+++ b/doc-src/HOL/Makefile	Mon May 02 21:41:39 2011 +0200
@@ -1,6 +1,3 @@
-#
-# $Id$
-#
 
 ## targets
 
@@ -13,10 +10,7 @@
 
 NAME = logics-HOL
 FILES = logics-HOL.tex ../Logics/syntax.tex HOL.tex \
-	 ../rail.sty ../proof.sty ../iman.sty ../extra.sty ../ttbox.sty ../manual.bib
-
-rail:
-	$(RAIL) $(NAME)
+	 ../proof.sty ../iman.sty ../extra.sty ../ttbox.sty ../manual.bib
 
 dvi: $(NAME).dvi