diff options
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 093b272..a60722a 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" \ |