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:
d6d2011
)
[project @ 2000-01-26 11:40:54 by rrt]
author
rrt
<unknown>
Wed, 26 Jan 2000 11:40:54 +0000
(11:40 +0000)
committer
rrt
<unknown>
Wed, 26 Jan 2000 11:40:54 +0000
(11:40 +0000)
Changed default text size to "normal".
docs/fptools-both.dsl
patch
|
blob
|
history
diff --git
a/docs/fptools-both.dsl
b/docs/fptools-both.dsl
index
f62f292
..
db1c792
100644
(file)
--- 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)