diff -r 6a753a6d6738 -r c120262044b6 doc-src/Ref/ref.tex
--- a/doc-src/Ref/ref.tex	Wed May 05 14:31:31 1999 +0200
+++ b/doc-src/Ref/ref.tex	Wed May 05 16:44:42 1999 +0200
@@ -63,7 +63,7 @@
 
 \begingroup
   \bibliographystyle{plain} \small\raggedright\frenchspacing
-  \bibliography{string,atp,funprog,general,logicprog,isabelle,theory,crossref}
+  \bibliography{../manual}
 \endgroup
 \include{theory-syntax}