X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Ffptools-both.dsl;h=e04d221f2a6992243de81c940d36ec9f75ecdfef;hb=11f81de1fa9ac05b9dd20b851076621d6f664c73;hp=db1c7922814384baa94e7c2431266685375c5ec6;hpb=ca297b2ba8ecc46939e00d025b089b097930f9b8;p=ghc-hetmet.git diff --git a/docs/fptools-both.dsl b/docs/fptools-both.dsl index db1c792..e04d221 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) @@ -129,6 +130,12 @@ Options added: (define %section-autolabel% #t) +;; Uncomment the setting below if you want .html output as one +;; big page. [ Notice that 'jade' dumps the output on stdout +;; rather than on honour the -o option...at least my copy does.] +;; +;;(define nochunks #t) +