Don't build the dependency graph when making html

Also, git remote update before checking out, so that we race less