doc-src/Ref/Makefile

--- a/doc-src/Ref/Makefile	Thu May 04 02:02:54 1995 +0200
+++ b/doc-src/Ref/Makefile	Thu May 04 14:57:06 1995 +0200
@@ -8,12 +8,13 @@
 
 FILES =  ref.tex introduction.tex goals.tex tactic.tex tctical.tex\
          thm.tex theories.tex defining.tex syntax.tex substitution.tex\
-         simplifier.tex classical.tex\
+         simplifier.tex classical.tex theory-syntax.tex\
 	 ../iman.sty ../extra.sty
 
 ref.dvi.gz:   $(FILES) 
 	-rm ref.dvi.gz
 	latex209 ref
+	rail ref
 	bibtex ref
 	latex209 ref
 	latex209 ref