From bd4f470aaf921cbd8036bb86244e3d125dde10d0 Mon Sep 17 00:00:00 2001 From: Jean Felder Date: Thu, 13 Jun 2024 10:40:00 +0200 Subject: [PATCH] conf: Ignore .github directory There is no need to look for source files in this repository. --- conf.py | 1 + 1 file changed, 1 insertion(+) diff --git a/conf.py b/conf.py index cf94cffa56b..25e869fea4e 100644 --- a/conf.py +++ b/conf.py @@ -70,6 +70,7 @@ # This pattern also affects html_static_path and html_extra_path. exclude_patterns = [ 'venv', + '.github', 'docs/user_manual/expressions/expression_help/*' ]