diff --git a/Makefile.inc1 b/Makefile.inc1
index 0acee7d6d21..ad237dd0f18 100644
--- a/Makefile.inc1
+++ b/Makefile.inc1
@@ -1248,7 +1248,7 @@ delete-old-files:
 		fi; \
 	done
 # Remove catpages without corresponding manpages.
-	@3<&0; \
+	@exec 3<&0; \
 	find ${DESTDIR}/usr/share/man/cat* ! -type d | \
 	sed -ep -e's:${DESTDIR}/usr/share/man/cat:${DESTDIR}/usr/share/man/man:' | \
 	while read catpage; do \