regen_manpages.sh: add a safety check