the publishing of an index.html page generated from publish_html is now optional.