1
0
mirror of git://git.sv.gnu.org/coreutils.git synced 2026-04-21 11:16:16 +02:00

Allow the two existing types of uses of PATH:

@vindex PATH
  @env{PATH}
This commit is contained in:
Jim Meyering
2005-06-19 13:43:50 +00:00
parent e4bd8ce5ab
commit 15b998e0d0

View File

@@ -45,7 +45,9 @@ check-texinfo:
$(PERL) -e 1 2> /dev/null && { $(PERL) -ne \
'/\bPOSIX\b/ && !/\@acronym{POSIX}/ && !/^\* / || /{posix}/ and print,exit 1' \
$(srcdir)/*.texi 2> /dev/null || fail=1; }; \
grep -iwE '(path(name)?|builtin)s?' $(srcdir)/*.texi && fail=1; \
grep -iwE 'builtins?' $(srcdir)/*.texi && fail=1; \
grep -iwE 'path(name)?s?' $(srcdir)/*.texi \
| grep -vE '@vindex PATH$$|@env{PATH}' && fail=1; \
exit $$fail
check: check-texinfo