--- a/doc-src/Ref/Makefile Thu Feb 20 15:15:17 1997 +0100
+++ b/doc-src/Ref/Makefile Thu Feb 20 15:18:43 1997 +0100
@@ -9,7 +9,7 @@
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 theory-syntax.tex\
- ../proof209.sty ../iman.sty ../extra.sty
+ ../rail.sty ../proof209.sty ../iman.sty ../extra.sty
ref.dvi.gz: $(FILES)
-rm ref.dvi*
--- a/doc-src/Ref/ref.tex Thu Feb 20 15:15:17 1997 +0100
+++ b/doc-src/Ref/ref.tex Thu Feb 20 15:18:43 1997 +0100
@@ -1,5 +1,6 @@
-\documentstyle[a4,12pt,rail]{report}
+\documentstyle[a4,12pt]{report}
\makeatletter
+\input{../rail.sty}
\input{../proof209.sty}
\input{../iman.sty}
\input{../extra.sty}