[pkgsrc/trunk]: pkgsrc/pkgtools/pkglint/files Added a check for PLISTs: Man p...

[rillig <rillig%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/c71d583de20f
branches:  trunk
changeset: 498529:c71d583de20f
user:      rillig <rillig%pkgsrc.org@localhost>
date:      Thu Aug 25 07:27:23 2005 +0000

description:
Added a check for PLISTs: Man pages should be installed into man/, not
share/man/.

diffstat:

 pkgtools/pkglint/files/pkglint.pl |  5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)

diffs (22 lines):

diff -r 6e3182f2152a -r c71d583de20f pkgtools/pkglint/files/pkglint.pl
--- a/pkgtools/pkglint/files/pkglint.pl Thu Aug 25 07:24:00 2005 +0000
+++ b/pkgtools/pkglint/files/pkglint.pl Thu Aug 25 07:27:23 2005 +0000
@@ -11,7 +11,7 @@
 # Freely redistributable.  Absolutely no warranty.
 #
 # From Id: portlint.pl,v 1.64 1998/02/28 02:34:05 itojun Exp
-# $NetBSD: pkglint.pl,v 1.259 2005/08/25 07:24:00 rillig Exp $
+# $NetBSD: pkglint.pl,v 1.260 2005/08/25 07:27:23 rillig Exp $
 #
 # This version contains lots of changes necessary for NetBSD packages
 # done by:
@@ -894,6 +894,9 @@
 
                } elsif ($text =~ qr"^share/locale/") {
                        $line->log_warning("Use of \"share/locale\" is deprecated.  Use \${PKGLOCALEDIR}/locale and set USE_PKGLOCALEDIR instead.");
+
+               } elsif ($text =~ qr"^share/man/") {
+                       $line->log_warning("Man pages should be installed into man/, not share/man/.");
                }
 
                if ($text =~ /\${PKGLOCALEDIR}/ && !$seen_USE_PKGLOCALEDIR) {