# HG changeset patch
# User nneul@neulinger.org
# Date 1444071036 0
# Node ID e715990c5f6356d0638b36771d4defbd2943abf9
# Parent  57f41f847bbaa5d99032cf33fa9fac62bda8c38a
gzip: add zgrep to packaged files list

diff -r 57f41f847bba -r e715990c5f63 gzip/receipt
--- a/gzip/receipt	Mon Oct 05 04:01:02 2015 +0300
+++ b/gzip/receipt	Mon Oct 05 18:50:36 2015 +0000
@@ -28,6 +28,7 @@
 genpkg_rules()
 {
 	mkdir -p $fs/usr/bin
+	cp -a $install/usr/bin/zgrep $fs/usr/bin
 	cp -a $install/usr/bin/gzip $fs/usr/bin
 	cp -a $install/usr/bin/gunzip $fs/usr/bin
 }