1.1 --- a/doc-src/Intro/Makefile	Thu Feb 20 15:28:18 1997 +0100
     1.2 +++ b/doc-src/Intro/Makefile	Thu Feb 20 15:52:53 1997 +0100
     1.3 @@ -9,14 +9,19 @@
     1.4  FILES =  intro.tex foundations.tex getting.tex advanced.tex \
     1.5  	 ../proof209.sty ../iman.sty ../extra.sty
     1.6  
     1.7 -intro.dvi:   $(FILES) 
     1.8 +intro.dvi.gz:   $(FILES)
     1.9  	-rm intro.dvi*
    1.10  	latex209 intro
    1.11 -	-test -f string.bib && bibtex intro
    1.12 +	bibtex intro
    1.13  	latex209 intro
    1.14  	latex209 intro
    1.15  	../sedindex intro
    1.16  	latex209 intro
    1.17 +	gzip -f intro.dvi
    1.18  
    1.19 -intro.dvi.gz: intro.dvi
    1.20 -	gzip -f intro.dvi
    1.21 +dist:   $(FILES)
    1.22 +	-rm intro.dvi*
    1.23 +	latex209 intro
    1.24 +	latex209 intro
    1.25 +	../sedindex intro
    1.26 +	latex209 intro