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 | |
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')
-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 |