changed html2 doc index from .php to .html