diff --git a/create_documentation b/create_documentation index 476e00ea4ac7e625349bc105bb4ab506931ecbf7_Y3JlYXRlX2RvY3VtZW50YXRpb24=..28cb32cfbfc882a1c34426b52723b536a8ff3957_Y3JlYXRlX2RvY3VtZW50YXRpb24= 100755 --- a/create_documentation +++ b/create_documentation @@ -60,5 +60,4 @@ pushd $dir for module in * ; do if [[ -d "$module" ]] ; then - # echo $dir/$module pushd $module @@ -64,3 +63,4 @@ pushd $module + has_doc="" for doc_dir in doc docs ; do if [[ -d $doc_dir && -e $doc_dir/Makefile ]]; then @@ -65,5 +65,6 @@ for doc_dir in doc docs ; do if [[ -d $doc_dir && -e $doc_dir/Makefile ]]; then + has_doc=True echo ${YELLOW}INFO ${RESET} - Makefile found in $dir/$module/$doc_dir if [ -e ".git" ]; then branch="$(git rev-parse --abbrev-ref HEAD)" @@ -90,6 +91,9 @@ popd fi done + if [[ -z "$has_doc" ]] ; then + echo ${RED}ERROR${RESET} - Missing documentation for $dir/$module + fi popd fi done