diff options
| author | Holger Wansing <hwansing@mailbox.org> | 2020-01-18 13:17:57 +0100 |
|---|---|---|
| committer | Holger Wansing <hwansing@mailbox.org> | 2020-01-18 13:17:57 +0100 |
| commit | dd2a1833c29eeb06dfc7d6e6c1ef8f8dda355e43 (patch) | |
| tree | 8694f3de04c6e4edfe70107b324d5cd4f6435159 /debian/changelog | |
| parent | c072a23a1e66f1871139e00e85ca90c66a5be024 (diff) | |
| download | installation-guide-dd2a1833c29eeb06dfc7d6e6c1ef8f8dda355e43.zip | |
Correct filename syntax for PDF and TXT formats, when building for the website, to get valid filename suffixes
Diffstat (limited to 'debian/changelog')
| -rw-r--r-- | debian/changelog | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index fb2577ac9..ab5774391 100644 --- a/debian/changelog +++ b/debian/changelog @@ -5,6 +5,8 @@ installation-guide (20200110) UNRELEASED; urgency=medium for the website, as it is already in the binary packages. * Fix gawk warnings about invalid regexp escapes with latest gawk version. Thanks to Mattia Rizzolo for the hint. + * Correct filename syntax for PDF and TXT formats, when building for the + website, to get valid filename suffixes. -- Holger Wansing <hwansing@mailbox.org> Fri, 10 Jan 2020 23:21:11 +0100 |