mirror of
https://git.FreeBSD.org/ports.git
synced 2025-02-05 11:35:01 +00:00
0577b09773
. Set IGNORE if NOPORTDOCS is set since this port only installs docs. [2] Pointed out by: portlint [1] QAT [2]