made a bit more robust;
authorwenzelm
Thu Feb 20 14:59:02 1997 +0100 (1997-02-20)
changeset 265671097a167f0b
parent 2655 9420efbb868e
child 2657 448bb82c4003
made a bit more robust;
doc-src/Intro/Makefile
doc-src/Intro/intro.tex
     1.1 --- a/doc-src/Intro/Makefile	Mon Feb 17 18:12:03 1997 +0100
     1.2 +++ b/doc-src/Intro/Makefile	Thu Feb 20 14:59:02 1997 +0100
     1.3 @@ -7,14 +7,16 @@
     1.4  
     1.5  
     1.6  FILES =  intro.tex foundations.tex getting.tex advanced.tex \
     1.7 -	 ../iman.sty ../extra.sty
     1.8 +	 ../proof209.sty ../iman.sty ../extra.sty
     1.9  
    1.10 -intro.dvi.gz:   $(FILES) 
    1.11 -	-rm intro.dvi.gz
    1.12 +intro.dvi:   $(FILES) 
    1.13 +	-rm intro.dvi*
    1.14  	latex209 intro
    1.15 -	bibtex intro
    1.16 +	-test -f string.bib && bibtex intro
    1.17  	latex209 intro
    1.18  	latex209 intro
    1.19  	../sedindex intro
    1.20  	latex209 intro
    1.21 +
    1.22 +intro.dvi.gz: intro.dvi
    1.23  	gzip -f intro.dvi
     2.1 --- a/doc-src/Intro/intro.tex	Mon Feb 17 18:12:03 1997 +0100
     2.2 +++ b/doc-src/Intro/intro.tex	Thu Feb 20 14:59:02 1997 +0100
     2.3 @@ -1,4 +1,10 @@
     2.4 -\documentstyle[a4,12pt,proof209,iman,extra]{article}
     2.5 +\documentstyle[a4,12pt]{article}
     2.6 +\makeatletter
     2.7 +\input{../proof209.sty}
     2.8 +\input{../iman.sty}
     2.9 +\input{../extra.sty}
    2.10 +\makeatother
    2.11 +
    2.12  %% $Id$
    2.13  %% run    bibtex intro         to prepare bibliography
    2.14  %% run    ../sedindex intro    to prepare index file