doc/index.html is updated by test