
diff -r 726a9b069947 -r 49f1a09576c2 doc-src/Ref/ref.tex
--- 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




