From b505dd63c9c5f0f6a903173913d366dac363932f Mon Sep 17 00:00:00 2001 From: Baptiste Daroussin Date: Tue, 26 Sep 2017 05:33:15 +0000 Subject: [PATCH] Do not print error when running make delete-old on system without catpages directories --- Makefile.inc1 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile.inc1 b/Makefile.inc1 index 7a4c156d28ce..1c6582d9d76d 100644 --- a/Makefile.inc1 +++ b/Makefile.inc1 @@ -2559,7 +2559,7 @@ delete-old-files: .PHONY done # Remove catpages without corresponding manpages. @exec 3<&0; \ - 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; \