diff --git a/Makefile.inc1 b/Makefile.inc1
index 1fbfadf8e964..856d4f402240 100644
--- a/Makefile.inc1
+++ b/Makefile.inc1
@@ -2590,7 +2590,7 @@ check-old-files: .PHONY
 		done; \
 	done
 # Check for catpages without corresponding manpages.
-	@find ${DESTDIR}/usr/share/man/cat* ! -type d | \
+	@find ${DESTDIR}/usr/share/man/cat* ! -type d 2>/dev/null | \
 	sed -ep -e's:${DESTDIR}/usr/share/man/cat:${DESTDIR}/usr/share/man/man:' | \
 	while read catpage; do \
 		read manpage; \