X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Ffptools-both.dsl;h=11aa1ce87c1ef6c0817411cfaadae9887e71daaa;hb=9e6162f9d0102d1f5738bf78258b24ea5a647ea4;hp=44f85c9a928da11d7c0f874167d86620941555a7;hpb=79e0c8376ff5966f556800b1e964abcf1fb4d062;p=ghc-hetmet.git

diff --git a/docs/fptools-both.dsl b/docs/fptools-both.dsl
index 44f85c9..11aa1ce 100644
--- a/docs/fptools-both.dsl
+++ b/docs/fptools-both.dsl
@@ -60,6 +60,7 @@ Options added:
   ;; "large-type"
   "normal")
 
+(define %generate-set-toc% #t)
 (define %generate-part-toc% #t)
 
 ;; (define %block-start-indent% 10pt)