X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/9c0ae9ef71784f2d41e8ffe8a4400177227b85fb..23a3a6acc9aa5312ebb16f3de1bb798e08267843:/doc/Makefile.am diff --git a/doc/Makefile.am b/doc/Makefile.am index da55c7d8ec..122e032a32 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -76,8 +76,9 @@ check-gtut-tocs: @for n in gtut-tour-*.doc ; do \ sed -n '/Table of Contents/,/hr/p' $$n|grep ref > tmp.curtoc; \ \ - grep '\\section' $$n | grep -v _toc| \ - sed -e 's/\\section //' -e 's/ .*//' |sed 's/^/ - \\ref /' > tmp.realtoc; \ + grep -E '\\s?u?b?section' $$n | grep -v _toc| \ + sed -e 's/\\section //' -e 's/\\subsection /subsection/' -e 's/ .*//' |\ + sed -e 's/^/ - \\ref /' -e 's/- \\ref subsection/ - \\ref /' > tmp.realtoc; \ \ if ! diff -q tmp.curtoc tmp.realtoc >/dev/null; then \ echo Wrong toc for $$n. Should be ; \ @@ -92,11 +93,12 @@ check-gtut-tocs: grep -v toc|grep -v '
'|grep [^[:blank:]] >>tmp.realtoc;\ done @grep ' *- \\ref' gtut-tour.doc > tmp.curtoc - @if ! diff -b -q tmp.curtoc tmp.realtoc >/dev/null; then \ - echo Wrong toc for gtut-tour.doc. Should be ; \ - cat tmp.realtoc; \ + @if ! diff -b -u tmp.curtoc tmp.realtoc ; then \ + echo "Wrong toc for gtut-tour.doc Right one is in tmp.realtoc"; \ + else \ + rm tmp.realtoc; \ fi ; - @rm tmp.realtoc tmp.curtoc + @rm tmp.curtoc .PHONY: html