From: rrt <unknown>
Date: Mon, 24 Jan 2000 17:44:52 +0000 (+0000)
Subject: [project @ 2000-01-24 17:44:52 by rrt]
X-Git-Tag: Approximately_9120_patches~5225
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=c81c46d2cdde4d3bb13e1f4d765e43b144ec6716;p=ghc-hetmet.git

[project @ 2000-01-24 17:44:52 by rrt]
Changed default paper size for SGML output to A4 (%paper-type%).
---

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