From: rrt <unknown>
Date: Wed, 26 Jan 2000 11:40:54 +0000 (+0000)
Subject: [project @ 2000-01-26 11:40:54 by rrt]
X-Git-Tag: Approximately_9120_patches~5191
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=ca297b2ba8ecc46939e00d025b089b097930f9b8;p=ghc-hetmet.git

[project @ 2000-01-26 11:40:54 by rrt]
Changed default text size to "normal".
---

diff --git a/docs/fptools-both.dsl b/docs/fptools-both.dsl
index f62f292..db1c792 100644
--- a/docs/fptools-both.dsl
+++ b/docs/fptools-both.dsl
@@ -58,7 +58,7 @@ Options added:
   ;; General measure of document text size
   ;; "presbyopic"
   ;; "large-type"
-  "presbyopic")
+  "normal")
 
 (define %generate-part-toc% #t)