docs: add manual pages to docbook documentation