command_util.sh: improve man page generation