mirror of
git://git.sv.gnu.org/coreutils.git
synced 2026-02-17 21:02:25 +02:00
(check-texinfo): Disallow `filename' in .texi files.
This commit is contained in:
@@ -34,6 +34,8 @@ check-texinfo:
|
||||
grep non-zero $(srcdir)/*.texi && fail=1; \
|
||||
grep -w NUL $(srcdir)/*.texi && fail=1; \
|
||||
grep '\$$@"' $(srcdir)/*.texi && fail=1; \
|
||||
grep -n filename $(srcdir)/*.texi|grep -vE 'setfilename|{filename}' \
|
||||
&& fail=1; \
|
||||
$(PERL) -e 1 2> /dev/null && { $(PERL) -ne \
|
||||
'/\bPOSIX\b/ && !/\@acronym{POSIX}/ && !/^\* / || /{posix}/ and print,exit 1' \
|
||||
$(srcdir)/*.texi 2> /dev/null || fail=1; }; \
|
||||
|
||||
Reference in New Issue
Block a user