bib;
authorwenzelm
Mon Aug 16 14:22:20 1999 +0200 (1999-08-16)
changeset 7207ad69aa13ddf6
parent 7206 012d8defdaa3
child 7208 8b4acb408301
bib;
doc-src/System/Makefile
doc-src/System/system.tex
     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)
     2.1 --- a/doc-src/System/system.tex	Mon Aug 16 11:53:18 1999 +0200
     2.2 +++ b/doc-src/System/system.tex	Mon Aug 16 14:22:20 1999 +0200
     2.3 @@ -32,6 +32,11 @@
     2.4  \include{fonts}
     2.5  \include{present}
     2.6  
     2.7 +\begingroup
     2.8 +  \bibliographystyle{plain} \small\raggedright\frenchspacing
     2.9 +  \bibliography{../manual}
    2.10 +\endgroup
    2.11 +
    2.12  \input{system.ind}
    2.13  
    2.14  \end{document}