[project @ 2000-04-17 11:39:56 by simonmar]

[ghc-hetmet.git] / docs / fptools-both.dsl

diff --git a/docs/fptools-both.dsl b/docs/fptools-both.dsl
index f2f8fe0..db1c792 100644 (file)
--- 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>