grep branch, master, updated. v2.25-24-g258a78f

[Paul Eggert]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "grep".

The branch, master has been updated
       via  258a78f03685ee99fe36b2ccddb7e491c5a5bf36 (commit)
      from  856e3f2ee8c65ff49d67185ca124f6d674b2077b (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
http://git.savannah.gnu.org/cgit/grep.git/commit/?id=258a78f03685ee99fe36b2ccddb7e491c5a5bf36


commit 258a78f03685ee99fe36b2ccddb7e491c5a5bf36
Author: Paul Eggert <address@hidden>
Date:   Mon Jun 13 15:14:56 2016 -0700

    doc: remove obsolete MS-DOS mention
    
    * doc/grep.in.1: Remove obsolete discussion of MS-DOS heuristics.
    Problem reported by Björn Voigt in: http://bugs.gnu.org/23763

diff --git a/doc/grep.in.1 b/doc/grep.in.1
index 1a3b7d2..8525ca4 100644
--- a/doc/grep.in.1
+++ b/doc/grep.in.1
@@ -502,8 +502,9 @@ This can cause a performance penalty.
 Treat the file(s) as binary.
 By default, under \s-1MS-DOS\s0 and \s-1MS\s0-Windows,
 .BR grep
-guesses the file type by looking at the contents of the first 32KB
-read from the file.
+guesses whether a file is text or binary as described for the
+.B \-\^\-binary\-files
+option.
 If
 .BR grep
 decides the file is a text file, it strips the CR characters from the

-----------------------------------------------------------------------

Summary of changes:
 doc/grep.in.1 |    5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)


hooks/post-receive
-- 
grep