From 6658239ecdde5c6449111852f3872c199cc0ddda Mon Sep 17 00:00:00 2001
From: "Karl O. Pinc" <kop@karlpinc.com>
Date: Sun, 1 Oct 2023 16:16:49 -0500
Subject: [PATCH] Move make documentation above make db

This is necessary or making the db comments won't work, they depend
on $(HTML_RST_FILES) being defined when the comments are collected.
---
 Makefile | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

diff --git a/Makefile b/Makefile
index 0b30d4d..ab18030 100644
--- a/Makefile
+++ b/Makefile
@@ -60,20 +60,19 @@ include $(MAKE_FILES)/defaults.mk
 # The cluster setup part
 include $(MAKE_FILES)/make_cluster.mk
 
+# The documentation portion of the build system
+include $(MAKE_FILES)/make_docs.mk
+
 # The database part
+# (This references $(HTML_RST_FILES) from make_docs.mk, so must
+# come after make_docs.mk.)
 include $(MAKE_FILES)/make_db.mk
 
-#
 # The commands part of the build system
-#
 include $(MAKE_FILES)/make_commands.mk
 
-#
-# The documentation portion of the build system
 # IMPORTANT: This is put last because it uses .SECONDEXPANSION
 # It's not _that_ important, but seems like a good idea to have
 # secondary expansion occur only where it is expected.
 #
-
-include $(MAKE_FILES)/make_docs.mk
 include $(MAKE_FILES)/secondexpansion.mk
-- 
2.34.1