# HG changeset patch
# User lcp
# Date 799592226 -7200
# Node ID ba34f9764816eb339bcdf8df9c1d27c915d4e1a5
# Parent  756aa2e81f6e0c05534d0c7713249e9159ef4873
Calls 'rail' program for syntax diagrams

diff -r 756aa2e81f6e -r ba34f9764816 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