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