diff options
| -rw-r--r-- | doc/Makefile.am | 4 | ||||
| -rw-r--r-- | doc/coreutils.texi | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 870c33e33..9d6997c78 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -1,6 +1,6 @@ # Make coreutils documentation. -*-Makefile-*- -# Copyright (C) 1995-1998, 2001-2007 Free Software Foundation, Inc. +# Copyright (C) 1995-1998, 2001-2008 Free Software Foundation, Inc. # This program is free software: you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by @@ -68,7 +68,7 @@ check-texinfo: $(syntax_checks) $(srcdir)/*.texi 2> /dev/null || fail=1; }; \ $(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; \ + | $(EGREP) -v 'search path|@vindex PATH$$|@env[{]PATH[}]' && fail=1; \ exit $$fail # Use `time zone', not `timezone'. diff --git a/doc/coreutils.texi b/doc/coreutils.texi index 804f60fee..e4599e994 100644 --- a/doc/coreutils.texi +++ b/doc/coreutils.texi @@ -10613,7 +10613,7 @@ will be output correctly in all Chinese locales (GB2312, BIG5, UTF-8, etc). Note that in these examples, the @command{printf} command has been invoked via @command{env} to ensure that we run the program found via -your shell's search @code{PATH}, and not a shell alias or a built-in function. +your shell's search path, and not a shell alias or a built-in function. For larger strings, you don't need to look up the hexadecimal code values of each character one by one. @acronym{ASCII} characters mixed with \u |