doc-src/System/system.tex

--- a/doc-src/System/system.tex	Mon Aug 16 11:53:18 1999 +0200
+++ b/doc-src/System/system.tex	Mon Aug 16 14:22:20 1999 +0200
@@ -32,6 +32,11 @@
 \include{fonts}
 \include{present}
 
+\begingroup
+  \bibliographystyle{plain} \small\raggedright\frenchspacing
+  \bibliography{../manual}
+\endgroup
+
 \input{system.ind}
 
 \end{document}