Merge branch 'release'

[notmuch] / doc / .gitignore

diff --git a/doc/.gitignore b/doc/.gitignore
index a60fb31e94198450a2e787f7098147a328d72778..d0da78e510f1d283b214d663ff1efc9512ba25df 100644 (file)
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -1,2 +1,4 @@
+*.pyc
 docdeps.mk
 _build
+config.dox