--- a/doc-src/HOL/Makefile Mon May 17 21:36:34 1999 +0200
+++ b/doc-src/HOL/Makefile Tue May 18 12:34:42 1999 +0200
@@ -13,7 +13,7 @@
NAME = logics-HOL
FILES = logics-HOL.tex ../Logics/syntax.tex HOL.tex \
- ../rail.sty ../proof.sty ../iman.sty ../extra.sty
+ ../rail.sty ../proof.sty ../iman.sty ../extra.sty ../manual.bib
dvi: $(NAME).dvi
--- 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
--- a/doc-src/Intro/Makefile Mon May 17 21:36:34 1999 +0200
+++ b/doc-src/Intro/Makefile Tue May 18 12:34:42 1999 +0200
@@ -13,7 +13,7 @@
NAME = intro
FILES = intro.tex foundations.tex getting.tex advanced.tex \
- ../proof.sty ../iman.sty ../extra.sty
+ ../proof.sty ../iman.sty ../extra.sty ../manual.bib
dvi: $(NAME).dvi
--- a/doc-src/Logics/Makefile Mon May 17 21:36:34 1999 +0200
+++ b/doc-src/Logics/Makefile Tue May 18 12:34:42 1999 +0200
@@ -13,7 +13,7 @@
NAME = logics
FILES = logics.tex preface.tex syntax.tex LK.tex CTT.tex \
- ../proof.sty ../iman.sty ../extra.sty
+ ../proof.sty ../iman.sty ../extra.sty ../manual.bib
dvi: $(NAME).dvi
--- a/doc-src/Ref/Makefile Mon May 17 21:36:34 1999 +0200
+++ b/doc-src/Ref/Makefile Tue May 18 12:34:42 1999 +0200
@@ -15,7 +15,7 @@
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 \
- ../rail.sty ../proof.sty ../iman.sty ../extra.sty
+ ../rail.sty ../proof.sty ../iman.sty ../extra.sty ../manual.bib
dvi: $(NAME).dvi
--- a/doc-src/ZF/Makefile Mon May 17 21:36:34 1999 +0200
+++ b/doc-src/ZF/Makefile Tue May 18 12:34:42 1999 +0200
@@ -13,7 +13,7 @@
NAME = logics-ZF
FILES = logics-ZF.tex ../Logics/syntax.tex FOL.tex ZF.tex \
- ../rail.sty ../proof.sty ../iman.sty ../extra.sty
+ ../rail.sty ../proof.sty ../iman.sty ../extra.sty ../manual.bib
dvi: $(NAME).dvi