1.1 --- a/doc-src/Inductive/Makefile	Mon May 17 21:36:34 1999 +0200
     1.2 +++ b/doc-src/Inductive/Makefile	Tue May 18 12:34:42 1999 +0200
     1.3 @@ -12,7 +12,7 @@
     1.4  include ../Makefile.in
     1.5  
     1.6  NAME = ind-defs
     1.7 -FILES = ind-defs.tex ../proof.sty ../iman.sty ../extra.sty
     1.8 +FILES = ind-defs.tex ../proof.sty ../iman.sty ../extra.sty ../manual.bib
     1.9  
    1.10  dvi: $(NAME).dvi
    1.11