From b140455b5a7f9e59274da28fbf78a3132ed624bb Mon Sep 17 00:00:00 2001 From: "Karl O. Pinc kop@karlpinc.com" Date: Sat, 28 Feb 2026 18:57:55 +0000 Subject: [PATCH] Note problems with per-page HTML when file names are changed "make clean-docs" must be run to be sure old html content is removed. --- make_files/make_docs.mk | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/make_files/make_docs.mk b/make_files/make_docs.mk index 9b691ba..04e5aa1 100644 --- a/make_files/make_docs.mk +++ b/make_files/make_docs.mk @@ -258,6 +258,10 @@ mostlyclean-docs: clean-docs-cache rm -rf $(CLEAN_DOC_TARGETS) ## clean-docs Delete all user generated documentation related files +## CAUTION: When file names are changed this must +## be run or else the old names in the per-page +## HTML documenation, with old content, remains +## accessable. .PHONY: clean-docs clean-docs: mostlyclean-docs destroy-sphinx-venv -- 2.34.1