diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/fptools-both.dsl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/fptools-both.dsl b/docs/fptools-both.dsl index f2f8fe0352..f62f29216a 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> |