diff options
| author | Samuel Thibault <sthibault@debian.org> | 2015-04-17 15:33:05 +0000 |
|---|---|---|
| committer | Samuel Thibault <sthibault@debian.org> | 2015-04-17 15:33:05 +0000 |
| commit | 78f9d82b7add9f573462d6c0eb1ad0b8f0e2b9ab (patch) | |
| tree | 73949ea895995d964d3aba3e2d92d69b5c0e10a9 /build | |
| parent | e9640de4d24c5e5968e5b06b5aa1b582cc989618 (diff) | |
| download | installation-guide-78f9d82b7add9f573462d6c0eb1ad0b8f0e2b9ab.zip | |
Fix moving the html images when destination already contains a built manual. Closes: #782765.
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 \ |