BTW: This seems to build with a "make html" inside the "doc" subdirectory.
I'm not sure what this failure really tells us.