From 7b5afb909aea79188461dfb3ccf4269600a6984a Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Tue, 18 Sep 2018 02:03:38 +0200
Subject: [PATCH 1/1] ignore a directory generated by sphinx

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

diff --git a/.gitignore b/.gitignore
index 85093f4926..7c407b5459 100644
--- a/.gitignore
+++ b/.gitignore
@@ -66,6 +66,7 @@ build/
 *.bpr
 *.bpf
 ### Documentation
+docs/source/_ext/__pycache__/
 doc/allclasses-frame.html
 doc/allclasses-noframe.html
 doc/constant-values.html
-- 
2.20.1