From f4d5ade9d803503cef876641dfec26f5277693c1 Mon Sep 17 00:00:00 2001
From: Greg Price <greg@zulipchat.com>
Date: Tue, 23 Jan 2018 14:27:14 -0800
Subject: [PATCH] docs: Exclude Sphinx config file from mypy checking.

It runs in kind of a peculiar environment -- in particular with the
`tags` identifier injected into the namespace -- and it contains
very little code more complex than `foo = "bar"`, so there's not
much to check anyway.
---
 tools/run-mypy | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/run-mypy b/tools/run-mypy
index d4692b53a3..7316a0061b 100755
--- a/tools/run-mypy
+++ b/tools/run-mypy
@@ -16,6 +16,7 @@ sys.path.append(os.path.dirname(TOOLS_DIR))
 from lib.test_script import get_provisioning_status
 
 exclude = """
+docs/conf.py
 zproject/settings.py
 zproject/test_settings.py
 """.split()