mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-03 01:23:49 +00:00
60820d612b
Turn the WITH_FREEIPMI make variable to a proper option. Change the NOPORTDOCS option to use the new options framework. PR: ports/171766 Submitted by: zeising Approved by: maintainer timeout (two weeks), kwm (mentor) |
||
---|---|---|
.. | ||
extra-patch-Makefile.in | ||
patch-configure | ||
status-ipmi.sh.in |