From c2ee4808c97ecc76b0b19edc21a69c8be72d93ca Mon Sep 17 00:00:00 2001
From: Aki Tuomi <aki.tuomi@open-xchange.com>
Date: Wed, 4 Jan 2023 10:48:38 +0200
Subject: [PATCH] doc: Ignore pigeonhole-man

It must not be committed
---
 .gitignore         | 1 +
 doc/pigeonhole-man | 0
 2 files changed, 1 insertion(+)
 delete mode 100644 doc/pigeonhole-man

diff --git a/.gitignore b/.gitignore
index 3ee9a6433..c5a812053 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 e69de29bb..000000000
-- 
GitLab