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