• Ian Lynagh's avatar
    Handle deciding what docs to build better · 1cce2f51
    Ian Lynagh authored
    Now we have variables for whether or not to build the docbook docs as
    HTML, as PS, and as PDF. The configure script output now matches what
    the build system will do (except it cannot take account of any
    mk/build.mk settings, of course).