| changeset 6668 | fb098775306c |
| parent 6637 | 57abed64dc14 |
| child 9695 | ec7d7f877712 |
--- a/doc-src/Inductive/Makefile Mon May 17 21:36:34 1999 +0200 +++ b/doc-src/Inductive/Makefile Tue May 18 12:34:42 1999 +0200 @@ -12,7 +12,7 @@ include ../Makefile.in NAME = ind-defs -FILES = ind-defs.tex ../proof.sty ../iman.sty ../extra.sty +FILES = ind-defs.tex ../proof.sty ../iman.sty ../extra.sty ../manual.bib dvi: $(NAME).dvi