# HG changeset patch
# User wenzelm
# Date 856448798 -3600
# Node ID 366190b74832de712f1c6007b39c085ff4576317
# Parent  9137a3d10d579fa1e26524c31c984ca1bc440c65
made a bit more robust for 'make dist';

diff -r 9137a3d10d57 -r 366190b74832 doc-src/Logics/Makefile
--- 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
diff -r 9137a3d10d57 -r 366190b74832 doc-src/Logics/logics.tex
--- 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}