src/doc/index.html remove unused file