use this delta after all

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 6817e4f..0856c77 100644 (file)
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -33,7 +33,7 @@ check-texinfo:
        grep timezone $(srcdir)/*.texi && exit 1 || :
        grep '\$$@"' $(srcdir)/*.texi && exit 1 || :
        $(PERL) -ne \
-         '/\bPOSIX\b/ && !/\@acronym{POSIX}/ || /{posix}/ and print,exit 1' \
+         '/\bPOSIX\b/ && !/\@acronym{POSIX}/ && !/^\* / || /{posix}/ and print,exit 1' \
          $(srcdir)/*.texi 2> /dev/null && : || exit 1
 
 check: check-texinfo