author | lcp |
Thu, 04 May 1995 14:57:06 +0200 | |
changeset 1111 | ba34f9764816 |
parent 1110 | 756aa2e81f6e |
child 1112 | 737a1a0df754 |
--- a/doc-src/Ref/Makefile Thu May 04 02:02:54 1995 +0200 +++ b/doc-src/Ref/Makefile Thu May 04 14:57:06 1995 +0200 @@ -8,12 +8,13 @@ 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\ + simplifier.tex classical.tex theory-syntax.tex\ ../iman.sty ../extra.sty ref.dvi.gz: $(FILES) -rm ref.dvi.gz latex209 ref + rail ref bibtex ref latex209 ref latex209 ref