Skip to content
Snippets Groups Projects
Commit 28cb32cfbfc8 authored by Vincent Hatakeyama's avatar Vincent Hatakeyama
Browse files

output projects with missing documentation

parent 476e00ea4ac7
No related branches found
No related tags found
No related merge requests found
......@@ -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
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment