> This happens because r71380 was not backported. This can't possibly be the problem. I don't use make.bat to build the html documentation. To build the documentation, I had checked out the trunk of sphinx, r68598. Since 2.6.2, I never did "make checkout", but only "make update"; I guess this was incorrect. Regards, Martin