--- 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