[project @ 2004-04-12 12:22:45 by panne]

[ghc-hetmet.git] / docs / fptools-both.dsl

diff --git a/docs/fptools-both.dsl b/docs/fptools-both.dsl
index 44f85c9..e04d221 100644 (file)
--- 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)
@@ -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)
+
 </style-specification-body>
 </style-specification>