diff options
Diffstat (limited to 'doc')
| -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 |