bug-grep
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug #39444] Document group-separator, no-group-separator options


From: Jaroslav Škarvada
Subject: [bug #39444] Document group-separator, no-group-separator options
Date: Tue, 09 Jul 2013 09:19:14 +0000
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:21.0) Gecko/20100101 Firefox/21.0

URL:
  <http://savannah.gnu.org/bugs/?39444>

                 Summary: Document group-separator, no-group-separator options
                 Project: grep
            Submitted by: yarda
            Submitted on: Tue 09 Jul 2013 09:19:13 AM GMT
                Category: None
                Severity: 3 - Normal
              Item Group: None
                  Status: None
                 Privacy: Public
             Assigned to: None
             Open/Closed: Open
         Discussion Lock: Any

    _______________________________________________________

Details:

I think these options should be documented in both man and built-in help.
Proposed patch is attached, feel free to change.




    _______________________________________________________

File Attachments:


-------------------------------------------------------
Date: Tue 09 Jul 2013 09:19:13 AM GMT  Name:
0001-doc-documented-group-separator-no-group-separator.patch  Size: 2kB   By:
yarda

<http://savannah.gnu.org/bugs/download.php?file_id=28515>

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?39444>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/




reply via email to

[Prev in Thread] Current Thread [Next in Thread]