From 09a2becf1887575976252f5313daba5e2c59a682 Mon Sep 17 00:00:00 2001
From: Jim Fehrle
Date: Thu, 24 Dec 2020 14:09:03 -0800
Subject: Clean ALL sphinx output files

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

(limited to 'Makefile.doc')

diff --git a/Makefile.doc b/Makefile.doc
index a5ff8e0123..e9bc03565d 100644
--- a/Makefile.doc
+++ b/Makefile.doc
@@ -101,7 +101,7 @@ full-stdlib: \
   doc/stdlib/html/index.html doc/stdlib/FullLibrary.ps doc/stdlib/FullLibrary.pdf
 
 sphinx-clean:
-	rm -rf $(SPHINXBUILDDIR)
+	rm -rf $(SPHINXBUILDDIR) doc/sphinx/index.rst doc/sphinx/zebibliography.rst
 
 .PHONY: plugin-tutorial
 plugin-tutorial: states tools
-- 
cgit v1.2.3