--- a/doc-src/Ref/Makefile Thu Feb 20 14:59:02 1997 +0100
+++ b/doc-src/Ref/Makefile Thu Feb 20 15:13:52 1997 +0100
@@ -9,10 +9,10 @@
FILES = ref.tex introduction.tex goals.tex tactic.tex tctical.tex\
thm.tex theories.tex defining.tex syntax.tex substitution.tex\
simplifier.tex classical.tex theory-syntax.tex\
- ../iman.sty ../extra.sty
+ ../proof209.sty ../iman.sty ../extra.sty
ref.dvi.gz: $(FILES)
- -rm ref.dvi.gz
+ -rm ref.dvi*
latex209 ref
rail ref
bibtex ref
@@ -21,3 +21,10 @@
../sedindex ref
latex209 ref
gzip -f ref.dvi
+
+dist: $(FILES)
+ -rm ref.dvi*
+ latex209 ref
+ latex209 ref
+ ../sedindex ref
+ latex209 ref