1.1 --- a/doc-src/HOL/Makefile	Tue May 04 18:03:56 1999 +0200
     1.2 +++ b/doc-src/HOL/Makefile	Tue May 04 18:04:45 1999 +0200
     1.3 @@ -6,7 +6,7 @@
     1.4  #########################################################################
     1.5  
     1.6  
     1.7 -FILES =  logics-HOL.tex ../Logics/syntax.tex FOL.tex HOL.tex\
     1.8 +FILES =  logics-HOL.tex ../Logics/syntax.tex HOL.tex \
     1.9  	 ../rail.sty ../proof.sty ../iman.sty ../extra.sty
    1.10  
    1.11  logics-HOL.dvi.gz:   $(FILES)