doc/index.html for pdf's