[project @ 2000-01-24 17:44:52 by rrt]

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

diff --git a/docs/fptools-both.dsl b/docs/fptools-both.dsl
index f2f8fe0..f62f292 100644 (file)
--- a/docs/fptools-both.dsl
+++ b/docs/fptools-both.dsl
@@ -15,6 +15,7 @@
 Options added:
 
 %section-autolabel%: true
+%paper-type%: A4
 
 -->
 
@@ -65,6 +66,9 @@ Options added:
 
 (define %graphic-default-extension% "eps")
 
+(define %paper-type%
+  ;; Name of paper type
+  "A4")
 
 </style-specification-body>
 </style-specification>