diff options
| author | rrt <unknown> | 2000-01-26 11:40:54 +0000 |
|---|---|---|
| committer | rrt <unknown> | 2000-01-26 11:40:54 +0000 |
| commit | ca297b2ba8ecc46939e00d025b089b097930f9b8 (patch) | |
| tree | 793d5236ce95c23fb85e9f3ecfe0229a7a319bb2 /docs/fptools-both.dsl | |
| parent | d6d2011ff7d178a1a2777fe2fa109052294dd6be (diff) | |
| download | haskell-ca297b2ba8ecc46939e00d025b089b097930f9b8.tar.gz | |
[project @ 2000-01-26 11:40:54 by rrt]
Changed default text size to "normal".
Diffstat (limited to 'docs/fptools-both.dsl')
| -rw-r--r-- | docs/fptools-both.dsl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/fptools-both.dsl b/docs/fptools-both.dsl index f62f29216a..db1c792281 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) |