doc-src/System/Makefile
changeset 7207 ad69aa13ddf6
parent 6629 6edc66a9d80b
child 8828 5be2d1745c61
     1.1 --- a/doc-src/System/Makefile	Mon Aug 16 11:53:18 1999 +0200
     1.2 +++ b/doc-src/System/Makefile	Mon Aug 16 14:22:20 1999 +0200
     1.3 @@ -13,13 +13,15 @@
     1.4  
     1.5  NAME = system
     1.6  FILES = system.tex basics.tex misc.tex fonts.tex present.tex \
     1.7 -	../iman.sty ../extra.sty
     1.8 +	../iman.sty ../extra.sty ../manual.bib
     1.9  
    1.10  dvi: $(NAME).dvi
    1.11  
    1.12  $(NAME).dvi: $(FILES) isabelle.eps
    1.13  	touch $(NAME).ind
    1.14  	$(LATEX) $(NAME)
    1.15 +	$(BIBTEX) $(NAME)
    1.16 +	$(LATEX) $(NAME)
    1.17  	$(LATEX) $(NAME)
    1.18  	$(SEDINDEX) $(NAME)
    1.19  	$(LATEX) $(NAME)
    1.20 @@ -29,6 +31,8 @@
    1.21  $(NAME).pdf: $(FILES) isabelle.pdf
    1.22  	touch $(NAME).ind
    1.23  	$(PDFLATEX) $(NAME)
    1.24 +	$(BIBTEX) $(NAME)
    1.25 +	$(PDFLATEX) $(NAME)
    1.26  	$(PDFLATEX) $(NAME)
    1.27  	$(SEDINDEX) $(NAME)
    1.28  	$(PDFLATEX) $(NAME)