update regen_manpages.sh for current man2html
regenerate man pages