# HG changeset patch
# User wenzelm
# Date 856450373 -3600
# Node ID 3ca200d880f414f1a84870baa2e0a250a83a299e
# Parent  ac88d5db1768bf4a6cad92009c1223b1a300dc9c
added dist;

diff -r ac88d5db1768 -r 3ca200d880f4 doc-src/Intro/Makefile
--- 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