Re: bug on {,} : result of {,10} compar to {5,10},

[Paul Eggert]

On 04/18/13 09:54, Eric Blake wrote:
> there's nothing to do
> upstream, unless we want to improve old NEWS entries.

I installed the following to do that, and to mention
that it's a GNU extension, and to update the man page.

>From 4d2993eafc77c64c5dee119689243b4882764128 Mon Sep 17 00:00:00 2001
From: Paul Eggert <address@hidden>
Date: Thu, 18 Apr 2013 12:22:12 -0700
Subject: [PATCH] doc: document EREs like a{,10}

Problem reported by Eric Blake in
<http://lists.gnu.org/archive/html/bug-grep/2013-04/msg00005.html>.
* NEWS: Document the bug fix.
* doc/grep.in.1: Restore documentation for this feature, but mention
that it is a GNU extension.
* doc/grep.texi (Fundamental Structure): Mention that this feature
is a GNU extension.
---
 NEWS          | 2 ++
 doc/grep.in.1 | 6 ++++++
 doc/grep.texi | 1 +
 3 files changed, 9 insertions(+)

diff --git a/NEWS b/NEWS
index 163ee3e..5dc0a8c 100644
--- a/NEWS
+++ b/NEWS
@@ -79,6 +79,8 @@ GNU grep NEWS                                    -*- outline 
-*-
   grep -E 'a{1000000000}' now reports an overflow error rather than
   silently acting like grep -E 'a\{1000000000}'.
 
+  grep -E 'a{,10}' was not treated equivalently to grep -E 'a{0,10}'.
+
 ** New features
 
   The -R option now has a long-option alias --dereference-recursive.
diff --git a/doc/grep.in.1 b/doc/grep.in.1
index 42cd235..a6f850d 100644
--- a/doc/grep.in.1
+++ b/doc/grep.in.1
@@ -751,6 +751,12 @@ The preceding item is matched
 .I n
 or more times.
 .TP
+.BI {, m }
+The preceding item is matched at most
+.I m
+times.
+This is a \s-1GNU\s0 extension.
+.TP
 .BI { n , m }
 The preceding item is matched at least
 .I n
diff --git a/doc/grep.texi b/doc/grep.texi
index 3fc87d5..c8388d6 100644
--- a/doc/grep.texi
+++ b/doc/grep.texi
@@ -1180,6 +1180,7 @@ The preceding item is matched @var{n} or more times.
 @cindex braces, first argument omitted
 @cindex match expression at most @var{m} times
 The preceding item is matched at most @var{m} times.
+This is a GNU extension.
 
 @item @address@hidden,@address@hidden
 @opindex @address@hidden,@address@hidden
-- 
1.7.11.7