diff options
| author | Satoshi Asami <asami@FreeBSD.org> | 1998-08-12 01:55:34 +0000 |
|---|---|---|
| committer | Satoshi Asami <asami@FreeBSD.org> | 1998-08-12 01:55:34 +0000 |
| commit | c12c2467ed2bb9948f5d0ffba1d13b0f8acb8ad8 (patch) | |
| tree | ea022dce0436d3275db9628591c06528bb2b8043 /ports-mgmt/portlint | |
| parent | Merge 1.227.2.44. (diff) | |
Remove manpages define in MAN? fom PLIST for all the devel ports.
I'm going to leave p5-* alone for now (where the version stuff is
going to land is still unclear).
Diffstat (limited to 'ports-mgmt/portlint')
| -rw-r--r-- | ports-mgmt/portlint/pkg-plist | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/ports-mgmt/portlint/pkg-plist b/ports-mgmt/portlint/pkg-plist index c9a0b562b378..39ff07b136f0 100644 --- a/ports-mgmt/portlint/pkg-plist +++ b/ports-mgmt/portlint/pkg-plist @@ -1,2 +1 @@ bin/portlint -man/man1/portlint.1.gz |