mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-24 00:45:52 +00:00
fd8f2c9be0
it cuts 400 kB off the package. They can be build on demand - Fix plist for without manuals option - Portlint PR: ports/70503, ports/80012 Submitted by: Jake Hamby <jhamby@anobject.com>, Sunpoet Po-Chuan Hsieh <sunpoet@sunpoet.net> Approved by: maintainer timeout (9 months, 6 weeks respectively) |
||
---|---|---|
.. | ||
files | ||
distinfo | ||
Makefile | ||
Makefile.man | ||
pkg-descr | ||
pkg-plist |