. Set IGNORE if NOPORTDOCS is set since this port only installs docs. [2] Pointed out by: portlint [1] QAT [2]
PR: 130542 Submitted by: "Joseph S. Atkinson" <jsa@wickedmachine.net>