1 files changed, 5 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 6ec3950..c8fb80b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -12,3 +12,8 @@ _opam/
 .DS_Store
 *~
 *.swp
+
+# Python -- tools/check_citations.py and its self-test are run directly
+# (not installed as a package), so this is the only Python artefact the
+# repo ever produces.
+tools/__pycache__/