diff --git a/.gitignore b/.gitignore
index c5a812053a5e4a5df5346d2ea72ee2eabf381f7c..2393796a615f407f3d1fe68ba39772bba0fe9ff6 100644
--- a/.gitignore
+++ b/.gitignore
@@ -54,7 +54,7 @@ doc/man/sieve-dump.1
 doc/man/sieve-test.1
 doc/man/sieve-filter.1
 doc/man/pigeonhole.7
-doc/pigeonhole-man
+doc/stamp-man
 
 src/sieve-tools/sievec
 src/sieve-tools/sieve-dump
diff --git a/doc/Makefile.am b/doc/Makefile.am
index f462210eddc3f0349ae7df5b09ccb36fe44cfae8..ae36ee1680a5a8585d8a782d6df8c2d09be8176b 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -12,7 +12,7 @@ if BUILD_DOCS
 sieve_doc_DATA = $(docfiles)
 endif
 
-BUILT_SOURCES = pigeonhole-man
+BUILT_SOURCES = stamp-man
 
 MAN_URL=https://$(PIGEONHOLE_ASSET_URL)/$(PIGEONHOLE_ASSET_VERSION)/pigeonhole.txz
 
@@ -21,17 +21,17 @@ am__v_Q_ = $(am__v_Q_$(AM_DEFAULT_VERBOSITY))
 am__v_Q_0 = -q
 am__v_Q_1 =
 
-pigeonhole-man:
+stamp-man:
 	$(AM_V_at)$(WGET) -nv -O- $(MAN_URL) | xz -d | $(am__untar) \
-		&& touch pigeonhole-man || rm -f pigeonhole-man
+		&& touch stamp-man || rm -f stamp-man
 
 all-local:
 	$(AM_V_at)if [ ! -e man/doveadm-sieve.1 ]; then \
-		rm -f pigeonhole-man; \
-		$(MAKE) pigeonhole-man; \
+		rm -f stamp-man; \
+		$(MAKE) stamp-man; \
 	fi
 
 EXTRA_DIST = \
 	devel \
-	pigeonhole-man \
-	$(docfiles)
+	$(docfiles) \
+	stamp-man