From 8a6a43d50573dea2d7030089c6e6c804138b8563 Mon Sep 17 00:00:00 2001
From: Victor Martinez <pitillo@ono.com>
Date: Tue, 8 May 2018 23:18:05 +0000
Subject: [PATCH] make: updated release to 4.1.2-2

---
 make/.footprint | 4 ++++
 make/Pkgfile    | 5 +++--
 2 files changed, 7 insertions(+), 2 deletions(-)

diff --git a/make/.footprint b/make/.footprint
index 4c0eeb2..3ea7229 100644
--- a/make/.footprint
+++ b/make/.footprint
@@ -3,3 +3,7 @@ drwxr-xr-x	root/root	usr/bin/
 -rwxr-xr-x	root/root	usr/bin/make
 drwxr-xr-x	root/root	usr/include/
 -rw-r--r--	root/root	usr/include/gnumake.h
+drwxr-xr-x	root/root	usr/share/
+drwxr-xr-x	root/root	usr/share/man/
+drwxr-xr-x	root/root	usr/share/man/man1/
+-rw-r--r--	root/root	usr/share/man/man1/make.1.gz
diff --git a/make/Pkgfile b/make/Pkgfile
index c23e123..92d7c78 100644
--- a/make/Pkgfile
+++ b/make/Pkgfile
@@ -5,16 +5,17 @@
 
 name=make
 version=4.2.1
-release=1
+release=2
 source=(ftp://ftp.gnu.org/gnu/$name/$name-$version.tar.bz2)
 
 build() {
   cd $name-$version
+  sed -i '211,217 d; 219,229 d; 232 d' glob/glob.c 
   ./configure --build=$CHOST \
               --host=$CTARGET \
               --prefix=/usr \
               --disable-nls
   make
   make DESTDIR=$PKG install
-  rm -rf $PKG/usr/share
+  rm -rf $PKG/usr/share/info
 }
-- 
2.26.2