ensure that the build will also test gen_docs.sh