regen_manpages.sh: port to Ubuntu, update comment
regenerate man pages