manual.bib;
authorwenzelm
Wed May 05 18:48:02 1999 +0200 (1999-05-05)
changeset 66036b4613ea90de
parent 6602 c5e32a3d7e12
child 6604 d646567156c3
manual.bib;
doc-src/Tutorial/tutorial.tex
     1.1 --- a/doc-src/Tutorial/tutorial.tex	Wed May 05 18:47:37 1999 +0200
     1.2 +++ b/doc-src/Tutorial/tutorial.tex	Wed May 05 18:48:02 1999 +0200
     1.3 @@ -64,6 +64,6 @@
     1.4  \input{appendix}
     1.5  
     1.6  \bibliographystyle{plain}
     1.7 -\bibliography{base}
     1.8 +\bibliography{../manual}
     1.9  \input{tutorial.ind}
    1.10  \end{document}