HTML_INSTALL_DIR is no longer needed