diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/output.but | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/output.but b/doc/output.but index 9148751..dafa276 100644 --- a/doc/output.but +++ b/doc/output.but @@ -1611,7 +1611,7 @@ The default page size corresponds to 210\_\u00D7{x}\_297\_mm, i.e., \i{A4 paper}. \c \cfg{paper-page-width}{595} -\c \cfg{paper-page-height}{841} +\c \cfg{paper-page-height}{842} \c \c \cfg{paper-left-margin}{72} \c \cfg{paper-top-margin}{72} |