From ca297b2ba8ecc46939e00d025b089b097930f9b8 Mon Sep 17 00:00:00 2001
From: rrt <unknown>
Date: Wed, 26 Jan 2000 11:40:54 +0000
Subject: [PATCH] [project @ 2000-01-26 11:40:54 by rrt] Changed default text
 size to "normal".

---
 docs/fptools-both.dsl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/fptools-both.dsl b/docs/fptools-both.dsl
index f62f29216a7d..db1c79228143 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)
 
-- 
GitLab