projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
e8ec584
)
[project @ 2001-09-26 11:44:30 by rrt]
author
rrt
<unknown>
Wed, 26 Sep 2001 11:44:30 +0000
(11:44 +0000)
committer
rrt
<unknown>
Wed, 26 Sep 2001 11:44:30 +0000
(11:44 +0000)
Make the print stylesheet generate a TOC for sets (so the PDF manual
has a front TOC indicating that it contains both the user's guide and
libraries guide).
A simple question with a simple answer; how refreshing.
docs/fptools-both.dsl
patch
|
blob
|
history
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)