diff options
| author | Dirk Müller <dirk@dmllr.de> | 2022-01-05 10:57:57 +0100 |
|---|---|---|
| committer | Jay Berkenbilt <jberkenbilt@users.noreply.github.com> | 2022-02-08 19:47:50 +0100 |
| commit | 043c44556a0b515010dcdedc90aca66bdbc2b073 (patch) | |
| tree | ba965a7c80f9ffe963d0e1d87ecaad555ce209ef /manual | |
| parent | f91b21c7d4e99d32be8e0a180821af17c8150140 (diff) | |
| download | qpdf-043c44556a0b515010dcdedc90aca66bdbc2b073.tar.zst | |
Use DOC_DEST variable for installing documentation
Diffstat (limited to 'manual')
| -rw-r--r-- | manual/build.mk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/manual/build.mk b/manual/build.mk index 45cb03fb..730df937 100644 --- a/manual/build.mk +++ b/manual/build.mk @@ -50,6 +50,6 @@ doc-dist: build_manual else \ mkdir -p $(DOC_DEST); \ fi - cp -r $(DOC_OUT)/html doc - cp -r $(DOC_OUT)/singlehtml doc + cp -r $(DOC_OUT)/html $(DOC_DEST) + cp -r $(DOC_OUT)/singlehtml $(DOC_DEST) cp $(PDF_TARGET) $(DOC_DEST)/qpdf-manual.pdf |