diff options
author | rillig <rillig@pkgsrc.org> | 2005-08-25 07:27:23 +0000 |
---|---|---|
committer | rillig <rillig@pkgsrc.org> | 2005-08-25 07:27:23 +0000 |
commit | 6dc00852e4c732bc1c05c9640b13c9637f8838f7 (patch) | |
tree | 434def555454ca9446efea9a57916ce2fce535f0 /pkgtools | |
parent | a5453ed69740727070def05faa0de62125b528af (diff) | |
download | pkgsrc-6dc00852e4c732bc1c05c9640b13c9637f8838f7.tar.gz |
Added a check for PLISTs: Man pages should be installed into man/, not
share/man/.
Diffstat (limited to 'pkgtools')
-rw-r--r-- | pkgtools/pkglint/files/pkglint.pl | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/pkgtools/pkglint/files/pkglint.pl b/pkgtools/pkglint/files/pkglint.pl index 519ace2991f..996d71d1aa7 100644 --- a/pkgtools/pkglint/files/pkglint.pl +++ b/pkgtools/pkglint/files/pkglint.pl @@ -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 @@ sub checkfile_PLIST($$) { } 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) { |