X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Ffptools-both.dsl;h=db1c7922814384baa94e7c2431266685375c5ec6;hb=96f9e65b180851a6522742497ff75d141ca40a78;hp=f62f29216a7d645a0c224a98987587e1d4ea1048;hpb=c81c46d2cdde4d3bb13e1f4d765e43b144ec6716;p=ghc-hetmet.git 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)