From 043c44556a0b515010dcdedc90aca66bdbc2b073 Mon Sep 17 00:00:00 2001
From: Dirk Müller <dirk@dmllr.de>
Date: Wed, 5 Jan 2022 10:57:57 +0100
Subject: Use DOC_DEST variable for installing documentation

---
 manual/build.mk | 4 ++--
 1 file 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
-- 
cgit v1.2.3-70-g09d2