From 484ee2bbb0d366d80ca50f0b0b36e1065358d19a Mon Sep 17 00:00:00 2001
From: nodiscc <nodiscc@gmail.com>
Date: Fri, 6 Oct 2023 12:33:01 +0200
Subject: [PATCH] tool/.gitattributes: exclude doc/html/.doctrees/ from zip
 exports -
 https://www.sphinx-doc.org/en/master/man/sphinx-build.html#cmdoption-sphinx-build-d
 -
 https://stackoverflow.com/questions/33904042/is-doctrees-folder-required-for-displaying-html-docs-with-sphinx

---
 .gitattributes | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitattributes b/.gitattributes
index 7991f963..5552e13f 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -42,5 +42,6 @@ Makefile          export-ignore
 node_modules/     export-ignore
 doc/conf.py       export-ignore
 doc/requirements.txt export-ignore
+doc/html/.doctrees/  export-ignore
 phpunit.xml       export-ignore
 tests/            export-ignore