X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Ffptools-both.dsl;h=11aa1ce87c1ef6c0817411cfaadae9887e71daaa;hb=25a96d106f30518aadfbcb0da4f44e849778773e;hp=db1c7922814384baa94e7c2431266685375c5ec6;hpb=ca297b2ba8ecc46939e00d025b089b097930f9b8;p=ghc-hetmet.git diff --git a/docs/fptools-both.dsl b/docs/fptools-both.dsl index db1c792..11aa1ce 100644 --- a/docs/fptools-both.dsl +++ b/docs/fptools-both.dsl @@ -2,11 +2,11 @@ - + ]]> + ]]> ]> @@ -60,6 +60,7 @@ Options added: ;; "large-type" "normal") +(define %generate-set-toc% #t) (define %generate-part-toc% #t) ;; (define %block-start-indent% 10pt)