Add a NO_HTMLHELP option, and enable it by default in the Cygwin Makefile,