From b601b7b865637aa30d1045a2d638dc883246bf57 Mon Sep 17 00:00:00 2001
From: "Glenn Y. Rolland" <glenux@glenux.net>
Date: Mon, 29 Aug 2022 17:10:03 +0200
Subject: [PATCH] fix: PDF build for docs must output to docs.pdf

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 2ab267c..1aa720f 100755
--- a/Makefile
+++ b/Makefile
@@ -225,7 +225,7 @@ build-docs-pdf:  ## build pdf docs only
             --site-dir $(BUILD_DOCS_DIR)
 	pdftk \
 		$$(find $(BUILD_DOCS_DIR) -name *.pdf -not -name index.pdf |sort ) \
-        cat output $(BUILD_DOCS_DIR)/combined.pdf
+        cat output $(BUILD_DOCS_DIR)/docs.pdf
 
 build-docs-html:  ## build static docs site only
 	mkdir -p $(BUILD_DOCS_DIR)