made a bit more robust for 'make dist';
authorwenzelm
Thu Feb 20 15:26:38 1997 +0100 (1997-02-20)
changeset 2661366190b74832
parent 2660 9137a3d10d57
child 2662 ac88d5db1768
made a bit more robust for 'make dist';
doc-src/Logics/Makefile
doc-src/Logics/logics.tex
     1.1 --- a/doc-src/Logics/Makefile	Thu Feb 20 15:24:03 1997 +0100
     1.2 +++ b/doc-src/Logics/Makefile	Thu Feb 20 15:26:38 1997 +0100
     1.3 @@ -7,10 +7,10 @@
     1.4  
     1.5  
     1.6  FILES =  logics.tex intro.tex FOL.tex ZF.tex HOL.tex LK.tex CTT.tex\
     1.7 -	 ../iman.sty ../extra.sty
     1.8 +	 ../rail.sty ../proof209.sty ../iman.sty ../extra.sty
     1.9  
    1.10  logics.dvi.gz:   $(FILES) 
    1.11 -	-rm logics.dvi.gz
    1.12 +	-rm logics.dvi*
    1.13  	latex209 logics
    1.14  	rail logics
    1.15  	bibtex logics
    1.16 @@ -19,3 +19,10 @@
    1.17  	../sedindex logics
    1.18  	latex209 logics
    1.19  	gzip -f logics.dvi
    1.20 +
    1.21 +dist:   $(FILES) 
    1.22 +	-rm logics.dvi*
    1.23 +	latex209 logics
    1.24 +	latex209 logics
    1.25 +	../sedindex logics
    1.26 +	latex209 logics
     2.1 --- a/doc-src/Logics/logics.tex	Thu Feb 20 15:24:03 1997 +0100
     2.2 +++ b/doc-src/Logics/logics.tex	Thu Feb 20 15:26:38 1997 +0100
     2.3 @@ -1,4 +1,11 @@
     2.4 -\documentstyle[a4,12pt,proof209,iman,extra,rail]{report}
     2.5 +\documentstyle[a4,12pt]{report}
     2.6 +\makeatletter
     2.7 +\input{../rail.sty}
     2.8 +\input{../proof209.sty}
     2.9 +\input{../iman.sty}
    2.10 +\input{../extra.sty}
    2.11 +\makeatother
    2.12 +
    2.13  %% $Id$
    2.14  %%%STILL NEEDS MODAL, LCF
    2.15  %%%\includeonly{ZF}