# HG changeset patch
# User paulson
# Date 927023682 -7200
# Node ID fb098775306cb9c2773d9e3aa5f2df00f5b1d355
# Parent  58b9785f8534e66c6ff2c961a11309d5d5584274
../manual.bib a new dependency

diff -r 58b9785f8534 -r fb098775306c doc-src/HOL/Makefile
--- 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
 
diff -r 58b9785f8534 -r fb098775306c doc-src/Inductive/Makefile
--- 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
 
diff -r 58b9785f8534 -r fb098775306c doc-src/Intro/Makefile
--- 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
 
diff -r 58b9785f8534 -r fb098775306c doc-src/Logics/Makefile
--- 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
 
diff -r 58b9785f8534 -r fb098775306c doc-src/Ref/Makefile
--- 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
 
diff -r 58b9785f8534 -r fb098775306c doc-src/ZF/Makefile
--- 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