Add option to generate documentation in docbook format #20
Description
Doxygen can generate documentation in docbook format. This is substantially smaller than HTML documentation but is also searchable, so is a better choice for shipping documentation that will reside on developer machines. Would adding an option to generate docbook be considered? If so, happy to contribute this.