documentation: switch docbook toolchain

No changes in source code.