diff -r 9420efbb868e -r 71097a167f0b doc-src/Intro/Makefile
--- a/doc-src/Intro/Makefile	Mon Feb 17 18:12:03 1997 +0100
+++ b/doc-src/Intro/Makefile	Thu Feb 20 14:59:02 1997 +0100
@@ -7,14 +7,16 @@
 
 
 FILES =  intro.tex foundations.tex getting.tex advanced.tex \
-	 ../iman.sty ../extra.sty
+	 ../proof209.sty ../iman.sty ../extra.sty
 
-intro.dvi.gz:   $(FILES) 
-	-rm intro.dvi.gz
+intro.dvi:   $(FILES) 
+	-rm intro.dvi*
 	latex209 intro
-	bibtex intro
+	-test -f string.bib && bibtex intro
 	latex209 intro
 	latex209 intro
 	../sedindex intro
 	latex209 intro
+
+intro.dvi.gz: intro.dvi
 	gzip -f intro.dvi