From 67c8f5b9c8954febea512eaa661c71863fda1630 Mon Sep 17 00:00:00 2001
From: Jim Fehrle
Date: Sun, 26 Apr 2020 11:41:50 -0700
Subject: Add sphinx_clean option to force full sphinx rebuild

---
 Makefile.doc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Makefile.doc b/Makefile.doc
index effd624cff..8be032ceb3 100644
--- a/Makefile.doc
+++ b/Makefile.doc
@@ -100,6 +100,9 @@ doc-stdlib: \
 full-stdlib: \
   doc/stdlib/html/index.html doc/stdlib/FullLibrary.ps doc/stdlib/FullLibrary.pdf
 
+sphinx-clean:
+	rm -rf $(SPHINXBUILDDIR)
+
 .PHONY: plugin-tutorial
 plugin-tutorial: states tools
 	+$(MAKE) COQBIN=$(PWD)/bin/ -C $(PLUGINTUTO)
-- 
cgit v1.2.3