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 /build/Makefile | |
| 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 'build/Makefile')
| -rw-r--r-- | build/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build/Makefile b/build/Makefile index 61413df52..dbb406c6a 100644 --- a/build/Makefile +++ b/build/Makefile @@ -35,7 +35,7 @@ $(TARGETS): %: else \ # Do not fail because of missing PDF support for some languages \ if [ -n "$$web" ] ; then \ - mv ./$$destdir/install.$$lang.$$format "$$arch_destination/$$destsuffix/install.$$format.$$lang_id" 2>/dev/null || true ; \ + mv ./$$destdir/install.$$lang.$$format "$$arch_destination/$$destsuffix/install.$$lang_id.$$format" 2>/dev/null || true ; \ else \ mv ./$$destdir/install.$$lang.$$format "$$arch_destination/$$destsuffix" 2>/dev/null || true ; \ fi ; \ |