doc: use gnu-web-doc-update module