diff --git a/src/check-doc-syntax.sh b/src/check-doc-syntax.sh index abf526dad..a5c846283 100755 --- a/src/check-doc-syntax.sh +++ b/src/check-doc-syntax.sh @@ -64,7 +64,7 @@ if echo $FILES | xargs grep . /dev/null | sed -e '//,/<\/program echo " '$func_regexp'" fi >&2 -note_regexp='NOTE' +note_regexp='\' if echo $FILES | xargs grep "$note_regexp" /dev/null; then stat=1 echo Error: some source files contain the string 'NOTE'.