1.1 --- a/doc-src/Ref/Makefile	Thu May 04 02:02:54 1995 +0200
     1.2 +++ b/doc-src/Ref/Makefile	Thu May 04 14:57:06 1995 +0200
     1.3 @@ -8,12 +8,13 @@
     1.4  
     1.5  FILES =  ref.tex introduction.tex goals.tex tactic.tex tctical.tex\
     1.6           thm.tex theories.tex defining.tex syntax.tex substitution.tex\
     1.7 -         simplifier.tex classical.tex\
     1.8 +         simplifier.tex classical.tex theory-syntax.tex\
     1.9  	 ../iman.sty ../extra.sty
    1.10  
    1.11  ref.dvi.gz:   $(FILES) 
    1.12  	-rm ref.dvi.gz
    1.13  	latex209 ref
    1.14 +	rail ref
    1.15  	bibtex ref
    1.16  	latex209 ref
    1.17  	latex209 ref