diff --git a/docs/fptools-both.dsl b/docs/fptools-both.dsl
index f2f8fe0352624e9fb2e8bcb5477b1162655cefe6..f62f29216a7d645a0c224a98987587e1d4ea1048 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>