Changes in index.html for doxygen doc