--- a/doc-src/Intro/Makefile Thu Feb 20 15:28:18 1997 +0100
+++ b/doc-src/Intro/Makefile Thu Feb 20 15:52:53 1997 +0100
@@ -9,14 +9,19 @@
FILES = intro.tex foundations.tex getting.tex advanced.tex \
../proof209.sty ../iman.sty ../extra.sty
-intro.dvi: $(FILES)
+intro.dvi.gz: $(FILES)
-rm intro.dvi*
latex209 intro
- -test -f string.bib && bibtex intro
+ bibtex intro
latex209 intro
latex209 intro
../sedindex intro
latex209 intro
+ gzip -f intro.dvi
-intro.dvi.gz: intro.dvi
- gzip -f intro.dvi
+dist: $(FILES)
+ -rm intro.dvi*
+ latex209 intro
+ latex209 intro
+ ../sedindex intro
+ latex209 intro