X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Ffptools-both.dsl;h=db1c7922814384baa94e7c2431266685375c5ec6;hb=9ff75d089614cce1cfa8c88344ace47698258bfa;hp=f2f8fe0352624e9fb2e8bcb5477b1162655cefe6;hpb=e5f1291c49dd97911c8e0696f87e16b517380e77;p=ghc-hetmet.git

diff --git a/docs/fptools-both.dsl b/docs/fptools-both.dsl
index f2f8fe0..db1c792 100644
--- a/docs/fptools-both.dsl
+++ b/docs/fptools-both.dsl
@@ -15,6 +15,7 @@
 Options added:
 
 %section-autolabel%: true
+%paper-type%: A4
 
 -->
 
@@ -57,7 +58,7 @@ Options added:
   ;; General measure of document text size
   ;; "presbyopic"
   ;; "large-type"
-  "presbyopic")
+  "normal")
 
 (define %generate-part-toc% #t)
 
@@ -65,6 +66,9 @@ Options added:
 
 (define %graphic-default-extension% "eps")
 
+(define %paper-type%
+  ;; Name of paper type
+  "A4")
 
 </style-specification-body>
 </style-specification>