# HG changeset patch
# User paulson
# Date 864048141 -7200
# Node ID 49f1a09576c23f1840e448c8ceab37695883c759
# Parent  726a9b069947c417f256b14953f094544f451f05
Section numbers may now be nested three deep, as in 1.2.3

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