. Set IGNORE if NOPORTDOCS is set since this port only installs docs. [2] Pointed out by: portlint [1] QAT [2]