projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
[project @ 2001-09-26 11:44:30 by rrt]
[ghc-hetmet.git]
/
docs
/
fptools-both.dsl
diff --git
a/docs/fptools-both.dsl
b/docs/fptools-both.dsl
index
44f85c9
..
11aa1ce
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)