diff options
Diffstat (limited to 'build')
| -rw-r--r-- | build/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/build/Makefile b/build/Makefile index 5668cf151..fd06b6c80 100644 --- a/build/Makefile +++ b/build/Makefile @@ -27,6 +27,9 @@ $(TARGETS): %: mkdir -p "$$arch_destination/$$destsuffix" ; \ for format in $$formats; do \ if [ "$$format" = html ]; then \ + mkdir -p "$$arch_destination/$$destsuffix/images" ; \ + mv ./$$destdir/html/images/* "$$arch_destination/$$destsuffix/images" ; \ + rmdir ./$$destdir/html/images ; \ mv ./$$destdir/html/* "$$arch_destination/$$destsuffix" ; \ else \ # Do not fail because of missing PDF support for some languages \ |