# 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}