# HG changeset patch
# User wenzelm
# Date 925922882 -7200
# Node ID 6b4613ea90dec691604ab89e9965a7c5093c8c16
# Parent  c5e32a3d7e12ab3d76b1a60d5fe9f2e12d7bd643
manual.bib;

diff -r c5e32a3d7e12 -r 6b4613ea90de doc-src/Tutorial/tutorial.tex
--- a/doc-src/Tutorial/tutorial.tex	Wed May 05 18:47:37 1999 +0200
+++ b/doc-src/Tutorial/tutorial.tex	Wed May 05 18:48:02 1999 +0200
@@ -64,6 +64,6 @@
 \input{appendix}
 
 \bibliographystyle{plain}
-\bibliography{base}
+\bibliography{../manual}
 \input{tutorial.ind}
 \end{document}