1.1 --- a/doc-src/Intro/Makefile	Fri May 02 16:18:11 1997 +0200
     1.2 +++ b/doc-src/Intro/Makefile	Fri May 02 16:18:49 1997 +0200
     1.3 @@ -7,21 +7,21 @@
     1.4  
     1.5  
     1.6  FILES =  intro.tex foundations.tex getting.tex advanced.tex \
     1.7 -	 ../proof209.sty ../iman.sty ../extra.sty
     1.8 +	 ../proof.sty ../iman.sty ../extra.sty
     1.9  
    1.10  intro.dvi.gz:   $(FILES)
    1.11  	-rm intro.dvi*
    1.12 -	latex209 intro
    1.13 +	latex intro
    1.14  	bibtex intro
    1.15 -	latex209 intro
    1.16 -	latex209 intro
    1.17 +	latex intro
    1.18 +	latex intro
    1.19  	../sedindex intro
    1.20 -	latex209 intro
    1.21 +	latex intro
    1.22  	gzip -f intro.dvi
    1.23  
    1.24  dist:   $(FILES)
    1.25  	-rm intro.dvi*
    1.26 -	latex209 intro
    1.27 -	latex209 intro
    1.28 +	latex intro
    1.29 +	latex intro
    1.30  	../sedindex intro
    1.31 -	latex209 intro
    1.32 +	latex intro