diff --git a/.gitignore b/.gitignore
index 3ee9a6433ffda174181eee3aa852c91cd9e454cb..c5a812053a5e4a5df5346d2ea72ee2eabf381f7c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -54,6 +54,7 @@ doc/man/sieve-dump.1
 doc/man/sieve-test.1
 doc/man/sieve-filter.1
 doc/man/pigeonhole.7
+doc/pigeonhole-man
 
 src/sieve-tools/sievec
 src/sieve-tools/sieve-dump
diff --git a/doc/pigeonhole-man b/doc/pigeonhole-man
deleted file mode 100644
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..0000000000000000000000000000000000000000