fix .gitignore for gzipped man pages

[notmuch] / man / .gitignore

diff --git a/man/.gitignore b/man/.gitignore
new file mode 100644 (file)
index 0000000..26ead20
--- /dev/null
+++ b/man/.gitignore
@@ -0,0 +1,2 @@
+# ignore gzipped man pages
+*.[0-9].gz