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

     2.1 --- a/doc-src/Inductive/Makefile	Mon May 17 21:36:34 1999 +0200
     2.2 +++ b/doc-src/Inductive/Makefile	Tue May 18 12:34:42 1999 +0200
     2.3 @@ -12,7 +12,7 @@
     2.4  include ../Makefile.in
     2.5  
     2.6  NAME = ind-defs
     2.7 -FILES = ind-defs.tex ../proof.sty ../iman.sty ../extra.sty
     2.8 +FILES = ind-defs.tex ../proof.sty ../iman.sty ../extra.sty ../manual.bib
     2.9  
    2.10  dvi: $(NAME).dvi
    2.11  

     3.1 --- a/doc-src/Intro/Makefile	Mon May 17 21:36:34 1999 +0200
     3.2 +++ b/doc-src/Intro/Makefile	Tue May 18 12:34:42 1999 +0200
     3.3 @@ -13,7 +13,7 @@
     3.4  
     3.5  NAME = intro
     3.6  FILES = intro.tex foundations.tex getting.tex advanced.tex \
     3.7 -	../proof.sty ../iman.sty ../extra.sty
     3.8 +	../proof.sty ../iman.sty ../extra.sty ../manual.bib
     3.9  
    3.10  dvi: $(NAME).dvi
    3.11  

     4.1 --- a/doc-src/Logics/Makefile	Mon May 17 21:36:34 1999 +0200
     4.2 +++ b/doc-src/Logics/Makefile	Tue May 18 12:34:42 1999 +0200
     4.3 @@ -13,7 +13,7 @@
     4.4  
     4.5  NAME = logics
     4.6  FILES = logics.tex preface.tex syntax.tex LK.tex CTT.tex \
     4.7 -	../proof.sty ../iman.sty ../extra.sty
     4.8 +	../proof.sty ../iman.sty ../extra.sty ../manual.bib
     4.9  
    4.10  dvi: $(NAME).dvi
    4.11  

     5.1 --- a/doc-src/Ref/Makefile	Mon May 17 21:36:34 1999 +0200
     5.2 +++ b/doc-src/Ref/Makefile	Tue May 18 12:34:42 1999 +0200
     5.3 @@ -15,7 +15,7 @@
     5.4  FILES = ref.tex introduction.tex goals.tex tactic.tex tctical.tex \
     5.5  	thm.tex theories.tex defining.tex syntax.tex substitution.tex \
     5.6  	simplifier.tex classical.tex theory-syntax.tex \
     5.7 -	../rail.sty ../proof.sty ../iman.sty ../extra.sty
     5.8 +	../rail.sty ../proof.sty ../iman.sty ../extra.sty ../manual.bib
     5.9  
    5.10  dvi: $(NAME).dvi
    5.11  

     6.1 --- a/doc-src/ZF/Makefile	Mon May 17 21:36:34 1999 +0200
     6.2 +++ b/doc-src/ZF/Makefile	Tue May 18 12:34:42 1999 +0200
     6.3 @@ -13,7 +13,7 @@
     6.4  
     6.5  NAME = logics-ZF
     6.6  FILES = logics-ZF.tex ../Logics/syntax.tex FOL.tex ZF.tex \
     6.7 -	../rail.sty ../proof.sty ../iman.sty ../extra.sty
     6.8 +	../rail.sty ../proof.sty ../iman.sty ../extra.sty ../manual.bib
     6.9  
    6.10  dvi: $(NAME).dvi
    6.11