of GNU make during PDF documentation build - Added support for NOPORTDOCS Submitted by: dino_vliet at yahoo dot com