projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
[project @ 2000-04-12 17:11:38 by simonmar]
[ghc-hetmet.git]
/
docs
/
fptools-both.dsl
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)