File: 0019-Remove-.doctrees-folder-after-building-docs.patch

package info (click to toggle)
shaarli 0.15.0%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 5,640 kB
  • sloc: php: 30,003; javascript: 2,061; makefile: 135; xml: 69; python: 42; sh: 35
file content (20 lines) | stat: -rw-r--r-- 576 bytes parent folder | download
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)