regen_manpages.sh: fix some bashisms

/bin/sh in Fedora is bash, in Ubuntu it is dash, which does not support
bashisms. Fix some immediate issues in the script syntax and leave a
number of man2html output differences for later.