Dongliang Mu <mudongliangabcd@xxxxxxxxx> writes: > It takes quite a bit of time to finish running `make htmldocs`. Grab a > coffee and relax while you wait! If you have not updated to latest Sphinx (8.1.3, say), you should do so. The Sphinx developers fixed a big performance problem, and it's much faster. Not as much relaxation possible as once was...:) jon
