# HG changeset patch
# User Vincent Hatakeyama <vincent.hatakeyama@xcg-consulting.fr>
# Date 1480505920 -3600
#      Wed Nov 30 12:38:40 2016 +0100
# Node ID 28cb32cfbfc882a1c34426b52723b536a8ff3957
# Parent  476e00ea4ac7e625349bc105bb4ab506931ecbf7
output projects with missing documentation

diff --git a/create_documentation b/create_documentation
--- a/create_documentation
+++ b/create_documentation
@@ -60,10 +60,11 @@
     pushd $dir
     for module in * ; do
 	if [[ -d "$module" ]] ; then
-	    # echo $dir/$module
 	    pushd $module
+	    has_doc=""
 	    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