bug#23990: Doc. fix: Update repository weight

[Tino Calancha]

The size of the grep repository is out of date.

|#> git clone git://git.sv.gnu.org/grep
|#> du -bs grep
4670595 grep
|#> cd grep && ./bootstrap && cd ..
|#> du -bs grep
89227609        grep

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
> From 76ac2086bdec8e0aeeec60396bf31214a59b6d99 Mon Sep 17 00:00:00 2001
From: Tino Calancha <address@hidden>
Date: Fri, 15 Jul 2016 17:10:17 +0900
Subject: [PATCH] ;* HACKING (Use the latest upstream sources): Update
 repository weight

---
 HACKING | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/HACKING b/HACKING
index a4ab327..fb1ed8d 100644
--- a/HACKING
+++ b/HACKING
@@ -24,7 +24,7 @@ You can get a copy of the latest with this command:

 That downloads the entire repository, including revision control history
 dating back to 1991.  The repository (the part you download, and which
-resides in grep/.git) currently weighs in at about 9MB.  So you don't
+resides in grep/.git) currently weighs in at about 5MB.  So you don't
 want to download it more often than necessary.  Once downloaded, you
 can get incremental updates by running one of these commands from
 inside your new grep/ directory:
--
2.8.1

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
grep (GNU grep) 2.25.30-220c
Repository revision: 220cbd1c8459b9e0d284d62aa65023c663bb71f8