--- a/doc-src/Ref/ref.tex Fri May 16 17:40:41 1997 +0200
+++ b/doc-src/Ref/ref.tex Mon May 19 15:22:21 1997 +0200
@@ -31,7 +31,7 @@
\makeindex
-\setcounter{secnumdepth}{1} \setcounter{tocdepth}{2}
+\setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}
\pagestyle{headings}
\sloppy