The branch main has been updated by des:

URL: 
https://cgit.FreeBSD.org/src/commit/?id=3456a0de9465335d4f1190b6a57abfeaf1639f4b

commit 3456a0de9465335d4f1190b6a57abfeaf1639f4b
Author:     Dag-Erling Smørgrav <d...@freebsd.org>
AuthorDate: 2025-08-06 13:37:06 +0000
Commit:     Dag-Erling Smørgrav <d...@freebsd.org>
CommitDate: 2025-08-06 13:37:06 +0000

    ObsoleteFiles: Stop looking for catpages
    
    We stopped installing catpages in 2017, before stable/12.
    
    Reviewed by:    emaste
    Differential Revision:  https://reviews.freebsd.org/D51715
---
 Makefile.inc1 | 19 -------------------
 1 file changed, 19 deletions(-)

diff --git a/Makefile.inc1 b/Makefile.inc1
index b66743e154eb..e6c9b49eefa3 100644
--- a/Makefile.inc1
+++ b/Makefile.inc1
@@ -3588,16 +3588,6 @@ delete-old-files: .PHONY
                  fi; \
                done; \
        done
-# Remove catpages without corresponding manpages.
-       @exec 3<&0; \
-       find ${DESTDIR}/usr/share/man/cat* ! -type d 2>/dev/null | sort | \
-       sed -ep 
-e's:${DESTDIR}/usr/share/man/cat:${DESTDIR}/usr/share/man/man:' | \
-       while read catpage; do \
-               read manpage; \
-               if [ ! -e "$${manpage}" ]; then \
-                       rm ${RM_I} $${catpage} <&3; \
-               fi; \
-       done
 # Remove compressed copies of uncompressed manpages
 .if ${MK_MANCOMPRESS} != "yes"
        @exec 3<&0; \
@@ -3640,15 +3630,6 @@ check-old-files: .PHONY
                  fi; \
                done; \
        done
-# Check for catpages without corresponding manpages.
-       @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; \
-               if [ ! -e "$${manpage}" ]; then \
-                       echo $${catpage}; \
-               fi; \
-       done | sort
 # Check for compressed copies of uncompressed manpages
 .if ${MK_MANCOMPRESS} != "yes"
        @find ${DESTDIR}/usr/share/man ${DESTDIR}/usr/share/openssl/man ! -type 
d ! -name \*.gz 2>/dev/null | \

Reply via email to