diff -r ff2c3ffd38ee -r 27d6e5d6a4a6 doc-src/HOL/Makefile
--- a/doc-src/HOL/Makefile	Tue May 04 18:03:56 1999 +0200
+++ b/doc-src/HOL/Makefile	Tue May 04 18:04:45 1999 +0200
@@ -6,7 +6,7 @@
 #########################################################################
 
 
-FILES =  logics-HOL.tex ../Logics/syntax.tex FOL.tex HOL.tex\
+FILES =  logics-HOL.tex ../Logics/syntax.tex HOL.tex \
 	 ../rail.sty ../proof.sty ../iman.sty ../extra.sty
 
 logics-HOL.dvi.gz:   $(FILES)