doc: make the documentation generation commands a bit more verbose