From: rrt <unknown>
Date: Wed, 26 Sep 2001 11:44:30 +0000 (+0000)
Subject: [project @ 2001-09-26 11:44:30 by rrt]
X-Git-Tag: Approximately_9120_patches~908
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=a355da9a0d5310529209ec5ca148a17749395baf

[project @ 2001-09-26 11:44:30 by rrt]
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.
---

diff --git a/docs/fptools-both.dsl b/docs/fptools-both.dsl
index 44f85c9..11aa1ce 100644
--- 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)