From acc24ba49469e7f82554b5078085f138c0e5c991 Mon Sep 17 00:00:00 2001
From: Jay Berkenbilt <ejb@ql.org>
Date: Tue, 8 Feb 2022 13:52:01 -0500
Subject: Only install docs if they exist

Sometimes someone may build only a subset of the documentation. The
logic has to be conditional upon whether it exists, not whether it is
built, since we pull pre-built docs in for CI installation.
---
 manual/build.mk | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

(limited to 'manual/build.mk')

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
-- 
cgit v1.2.3-54-g00ecf