mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-15 03:14:23 +00:00
3b33ecf6b7
- Set MKINFO in configure_args so that makeinfo works. - Since plist changed, bump portrevision. PR: ports/228004 Submitted by: Robert Cina <transitive@gmail.com> |
||
---|---|---|
.. | ||
files | ||
distinfo | ||
Makefile | ||
Makefile.version | ||
pkg-descr | ||
pkg-plist |