diff options
Diffstat (limited to 'manual/build.mk')
| -rw-r--r-- | manual/build.mk | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/manual/build.mk b/manual/build.mk index 730df937..97ca94a3 100644 --- a/manual/build.mk +++ b/manual/build.mk @@ -50,6 +50,12 @@ doc-dist: build_manual else \ mkdir -p $(DOC_DEST); \ fi - cp -r $(DOC_OUT)/html $(DOC_DEST) - cp -r $(DOC_OUT)/singlehtml $(DOC_DEST) - cp $(PDF_TARGET) $(DOC_DEST)/qpdf-manual.pdf + if [ -d $(DOC_OUT)/html ]; then \ + cp -r $(DOC_OUT)/html $(DOC_DEST); \ + fi + if [ -d $(DOC_OUT)/singlehtml ]; then \ + cp -r $(DOC_OUT)/singlehtml $(DOC_DEST); \ + fi + if [ -f $(PDF_TARGET) ]; then \ + cp $(PDF_TARGET) $(DOC_DEST)/qpdf-manual.pdf; \ + fi |