From b57b32dcb1fc1d3cddb8df3d2cd491ecaef3a54c Mon Sep 17 00:00:00 2001 From: "Karl O. Pinc kop@karlpinc.com" Date: Tue, 16 Jun 2026 21:50:13 +0000 Subject: [PATCH] Remove html pages from website when they no longer exist --- make_files/make_docs.mk | 1 + 1 file changed, 1 insertion(+) diff --git a/make_files/make_docs.mk b/make_files/make_docs.mk index 04e5aa1..3999935 100644 --- a/make_files/make_docs.mk +++ b/make_files/make_docs.mk @@ -229,6 +229,7 @@ install-docs: install-html install-html-single install-pdf ## html Make the html docs with sphinx .PHONY: html html: $(HTML_PREREQS) + rm -rf $(SPHINX_BUILT_HTML)/* $(SPHINXBUILD) -t html_epilog -b $(BUILDERNAME) \ $(HTML_SRCDIR) $(SPHINX_BUILT_HTML) -- 2.34.1