# HG changeset patch
# User wenzelm
# Date 856448323 -3600
# Node ID f50eb863599e5de70a5e6cc46130e7366e8a8efc
# Parent  13ba951a457214186029859c69147ae9191d39c6
fixed rail.sty dep;

diff -r 13ba951a4572 -r f50eb863599e doc-src/Ref/Makefile
--- 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*
diff -r 13ba951a4572 -r f50eb863599e doc-src/Ref/ref.tex
--- 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}