--- a/doc-src/Logics/Makefile Thu Feb 20 15:24:03 1997 +0100
+++ b/doc-src/Logics/Makefile Thu Feb 20 15:26:38 1997 +0100
@@ -7,10 +7,10 @@
FILES = logics.tex intro.tex FOL.tex ZF.tex HOL.tex LK.tex CTT.tex\
- ../iman.sty ../extra.sty
+ ../rail.sty ../proof209.sty ../iman.sty ../extra.sty
logics.dvi.gz: $(FILES)
- -rm logics.dvi.gz
+ -rm logics.dvi*
latex209 logics
rail logics
bibtex logics
@@ -19,3 +19,10 @@
../sedindex logics
latex209 logics
gzip -f logics.dvi
+
+dist: $(FILES)
+ -rm logics.dvi*
+ latex209 logics
+ latex209 logics
+ ../sedindex logics
+ latex209 logics
--- a/doc-src/Logics/logics.tex Thu Feb 20 15:24:03 1997 +0100
+++ b/doc-src/Logics/logics.tex Thu Feb 20 15:26:38 1997 +0100
@@ -1,4 +1,11 @@
-\documentstyle[a4,12pt,proof209,iman,extra,rail]{report}
+\documentstyle[a4,12pt]{report}
+\makeatletter
+\input{../rail.sty}
+\input{../proof209.sty}
+\input{../iman.sty}
+\input{../extra.sty}
+\makeatother
+
%% $Id$
%%%STILL NEEDS MODAL, LCF
%%%\includeonly{ZF}