From 769896f9664daef6c8bfd53d4f87707fc422f17f Mon Sep 17 00:00:00 2001
From: Kaelem Chandra <kc@kaelem.net>
Date: Fri, 17 Jan 2025 22:43:13 +1300
Subject: [PATCH] Makefile: Don't require specific value for `PUBLIC` in
 `serve-docs-full`

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

diff --git a/Makefile b/Makefile
index cec1c7b39..87e1aab93 100644
--- a/Makefile
+++ b/Makefile
@@ -96,7 +96,7 @@ site:
 # when PUBLIC=yes is not set, the mkdocs-material insiders image is used with all the dependencies included.
 .PHONY: serve-docs-full
 serve-docs-full:
-ifeq ($(PUBLIC),yes)
+ifdef PUBLIC
 	@{ 	\
 		sed -i 's/^  - typeset/#- typeset/g' mkdocs.yml; \
 	}