diff options
| author | Paul Eggert <eggert@cs.ucla.edu> | 2006-06-12 20:10:25 +0000 |
|---|---|---|
| committer | Paul Eggert <eggert@cs.ucla.edu> | 2006-06-12 20:10:25 +0000 |
| commit | 3807c8d93d3b97b19d6399e9bbed98d4f22abe6c (patch) | |
| tree | c6387532d87e785f21d80f2f45c378f81fb8c98f | |
| parent | b50d64f0adf6838fc2d35cf43741fab86230b2d9 (diff) | |
| download | coreutils-3807c8d93d3b97b19d6399e9bbed98d4f22abe6c.tar.xz | |
(check-texinfo): Use $(_W) and $(W_) instead of
assuming grep -w (which is not portable).
| -rw-r--r-- | doc/ChangeLog | 5 | ||||
| -rw-r--r-- | doc/Makefile.am | 4 |
2 files changed, 7 insertions, 2 deletions
diff --git a/doc/ChangeLog b/doc/ChangeLog index d8bb6eceb..04aa1d77b 100644 --- a/doc/ChangeLog +++ b/doc/ChangeLog @@ -1,3 +1,8 @@ +2006-06-12 Paul Eggert <eggert@cs.ucla.edu> + + * Makefile.am (check-texinfo): Use $(_W) and $(W_) instead of + assuming grep -w (which is not portable). + 2006-05-27 Ralf Wildenhues <Ralf.Wildenhues@gmx.de> * Makefile.am: Use `AM_MAKEINFOFLAGS' rather than diff --git a/doc/Makefile.am b/doc/Makefile.am index b5e937144..b6be901d5 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -45,8 +45,8 @@ 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; }; \ - $(EGREP) -iw 'builtins?' $(srcdir)/*.texi && fail=1; \ - $(EGREP) -iw 'path(name)?s?' $(srcdir)/*.texi \ + $(EGREP) -i '$(_W)builtins?$(W_)' $(srcdir)/*.texi && fail=1; \ + $(EGREP) -i '$(_W)path(name)?s?$(W_)' $(srcdir)/*.texi \ | $(EGREP) -v '@vindex PATH$$|@env[{]PATH[}]' && fail=1; \ exit $$fail |