# HG changeset patch
# User wenzelm
# Date 856447142 -3600
# Node ID 71097a167f0b37e511c172b1d912232edf95e4b0
# Parent  9420efbb868e16f9b97094d660f2cc4fe22455f3
made a bit more robust;

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
diff -r 9420efbb868e -r 71097a167f0b doc-src/Intro/intro.tex
--- a/doc-src/Intro/intro.tex	Mon Feb 17 18:12:03 1997 +0100
+++ b/doc-src/Intro/intro.tex	Thu Feb 20 14:59:02 1997 +0100
@@ -1,4 +1,10 @@
-\documentstyle[a4,12pt,proof209,iman,extra]{article}
+\documentstyle[a4,12pt]{article}
+\makeatletter
+\input{../proof209.sty}
+\input{../iman.sty}
+\input{../extra.sty}
+\makeatother
+
 %% $Id$
 %% run    bibtex intro         to prepare bibliography
 %% run    ../sedindex intro    to prepare index file