From df8e52c51319414ceee887963546c30595138eb0 Mon Sep 17 00:00:00 2001
From: Tomuta Gabriel <gaby_unalaq@yahoo.com>
Date: Tue, 17 Feb 2026 13:16:32 +0200
Subject: [PATCH] Add clean to the docs Makefile

---
 docs/Makefile | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/docs/Makefile b/docs/Makefile
index 98d39d3..f64cde9 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -7,6 +7,7 @@ SPHINXOPTS    ?=
 SPHINXBUILD   ?= sphinx-build
 SOURCEDIR     = source
 BUILDDIR      = build
+V_BUILDDIR    = build_versioned
 
 # Put it first so that "make" without argument is like "make help".
 help:
@@ -24,7 +25,13 @@ html-versioned:
 open:
 	python3 -m http.server -d build/html 8001
 
-.PHONY: help Makefile
+# Clean the builded doc, either normal or versioned
+clean:
+	@$(SPHINXBUILD) -M clean "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
+	@$(SPHINXBUILD) -M clean "$(SOURCEDIR)" "$(V_BUILDDIR)" $(SPHINXOPTS) $(O)
+	rmdir build build_versioned
+
+.PHONY: help clean Makefile
 
 # Catch-all target: route all unknown targets to Sphinx using the new
 # "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).