From 04de59beda6f27865975c8f9d74a87c4a5e1f54c Mon Sep 17 00:00:00 2001
From: Dylan Araps <dylan.araps@gmail.com>
Date: Sun, 11 Aug 2019 18:19:41 +0000
Subject: [PATCH] bison: remove docs

---
 core/bison/build   | 3 +++
 core/bison/version | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/core/bison/build b/core/bison/build
index 90fc7746..f001b103 100755
--- a/core/bison/build
+++ b/core/bison/build
@@ -9,3 +9,6 @@ make DESTDIR="$1" install
 
 # Remove all info files.
 rm -rf "$1/usr/share/info"
+
+# Remove docs.
+rm -rf "$1/usr/share/doc"
diff --git a/core/bison/version b/core/bison/version
index 89f6718d..0fb2806e 100644
--- a/core/bison/version
+++ b/core/bison/version
@@ -1 +1 @@
-3.4.1 1
+3.4.1 2