1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
|
From: James Valleroy <jvalleroy@mailbox.org>
Date: Thu, 14 Dec 2023 20:53:01 -0500
Subject: Remove .doctrees folder after building docs
---
Makefile | 1 +
1 file changed, 1 insertion(+)
diff --git a/Makefile b/Makefile
index b851e46..477ae7d 100644
--- a/Makefile
+++ b/Makefile
@@ -157,6 +157,7 @@ phpdoc: clean
### generate HTML documentation from Markdown pages with Sphinx
htmldoc:
sphinx-build -b html -c doc/ doc/md/ doc/html/
+ rm -rf doc/html/.doctrees
find doc/html/ -type f -exec chmod a-x '{}' \;
### Generate Shaarli's translation compiled file (.mo)
|