Support <nodoc> build profile (Closes: #1051809, #1051810)
docbook is not needed when the <nodoc> build profile is active, as
long as --disable-docs is passed to ./configure.
docbook is not needed when the <nodoc> build profile is active, as
long as --disable-docs is passed to ./configure.