diff --git a/Documentation/Books/Makefile b/Documentation/Books/Makefile index bfe51aaee3..31bb514465 100644 --- a/Documentation/Books/Makefile +++ b/Documentation/Books/Makefile @@ -45,6 +45,15 @@ check-docublocks: exit 1; \ fi +check-summary: + find -name \*.md |sed -e "s;./Users/;;" |grep -v ^SUMMARY.md$ |sort > /tmp/is_md.txt + cat Users/SUMMARY.md |sed -e "s;.*(;;" -e "s;).*;;" |sort |grep -v '# Summary' > /tmp/is_summary.txt + comm -3 /tmp/is_md.txt /tmp/is_summary.txt + if test "`comm -3 /tmp/is_md.txt /tmp/is_summary.txt|wc -l`" -ne 0; then \ + echo "not all files are mapped to the summary!"; \ + exit 1; \ + fi + clean: clean-md-files clean-books rm -f allComments.txt