[pacman-dev] [PATCH] doc: keep manpages and html pages in sync