From a4960789eb9ac2f3e08892a701fad7e25b123ba7 Mon Sep 17 00:00:00 2001
From: gravel <gravel@noreply.codeberg.org>
Date: Tue, 6 Feb 2024 09:15:54 +0000
Subject: [PATCH] Add dev server for docs

---
 Makefile | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/Makefile b/Makefile
index c468961..3893a0c 100644
--- a/Makefile
+++ b/Makefile
@@ -76,6 +76,13 @@ open:
 docs:
 	$(MAKE) WATCHCMD="doxygen -q" watchdog
 
+# Update Doxygen documentation on change and show in browser.
+dev-docs: PORT = 8082
+dev-docs: OUTPUT = .doxygen/html
+dev-docs: open
+	$(MAKE) PORT=$(PORT) OUTPUT=$(OUTPUT) server &
+	$(MAKE) docs
+
 # Update HTML on file change.
 watchdog: WATCHCMD = $(MAKE) html
 watchdog: