doc-src/Inductive/Makefile
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