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.