update reGenDocs.sh