I don't have db2html, therefore configure didn't define ENABLE_DOCS. Therefore the rules for creating the man pages in doc are commented out, so they're not created, leading to a failure of make install. Possible solutions: a) Don't try to install man pages with --disable-docs b) Add man pages to cvs and install them as-is with --disable-docs (this is the approach taken by gtk and friends wrt to gtk-doc)
I'd rather not have the formatted docs in CVS. Possible solutions could involve either refusing to build when formatted docs weren't already present and docbook2html wasn't available, or skipping the documentation in that case.
Ok, I've made the configuration avoid building docs unless docbook2html exists, and avoid installing the docs unless they're already built or buildable.
Use of freedesktop.org services, including Bugzilla, is subject to our Code of Conduct. How we collect and use information is described in our Privacy Policy.