diff options
author | Jim Meyering <jim@meyering.net> | 2004-10-12 07:58:47 +0000 |
---|---|---|
committer | Jim Meyering <jim@meyering.net> | 2004-10-12 07:58:47 +0000 |
commit | 1ba2928bd0eb3a962af70c601b4cef821c8adb1b (patch) | |
tree | 5515d7501f01ca1adac9d7d236db91d8885d2e4f /doc | |
parent | 5e291def7c676c26b80720aa419ef66ed5331015 (diff) | |
download | coreutils-1ba2928bd0eb3a962af70c601b4cef821c8adb1b.tar.xz |
(check-texinfo): Add `builtin' and `builtins' to
the list of words to avoid.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 8b526086c..f138ad9f4 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -41,6 +41,7 @@ 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 'builtins?' $(srcdir)/*.texi && fail=1; \ exit $$fail check: check-texinfo |