--enable-html should build the documentation, but it fails.
