diff -r b73d6668eba3 -r ac6408084c60 .gitignore
--- a/.gitignore	Fri Apr 26 09:45:02 2024 +0200
+++ b/.gitignore	Fri Apr 26 13:40:34 2024 +0530
@@ -7,3 +7,4 @@
 **/my_*.der
 **/my_*.pem
 tests/tools/Docker/requirements.txt
+doc/_build/**