guides rather than the big one.
Determines the name of the installed docbook filter (db2html or
docbook2html, etc.) in configure, defaulting to false if absent.