diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2006-11-27 23:21:38 +0000 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2009-06-18 00:26:56 +0200 |
| commit | 6c69296d41273d98e59b84000bf93c37c7ff5f03 (patch) | |
| tree | ea26ee189525d3ba73697678af180a436bdd7faa /doc | |
| parent | 4319b1c2e5e9dc7d5c6e145b7363124246f7ac54 (diff) | |
2006-11-28 Thomas Schwinge <tschwinge@gnu.org>
* doc/Makefrag.am ($(srcdir)/doc/version.texi): Oppress a potential
error message from grep.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefrag.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefrag.am b/doc/Makefrag.am index 093b2727..a60722a0 100644 --- a/doc/Makefrag.am +++ b/doc/Makefrag.am @@ -103,7 +103,7 @@ pdf-local: # TODO. There doesn't seem to be a hook or `-local' target suitable for this. $(srcdir)/doc/version.texi: $(srcdir)/doc/stamp-vti @if test -d $(web); then :; \ - elif grep -q :ext: $(top_srcdir)/CVS/Root; then \ + elif grep -q :ext: $(top_srcdir)/CVS/Root 2> /dev/null; then \ echo "*** As it seems that you'd be allowed to check in the" \ "possible resulting fixes, you may cosider running" \ " \`make $(web)' to get a checkout of the web pages of the" \ |