From 55ed421f0bc76ad36919f088ccf8d3081498d837 Mon Sep 17 00:00:00 2001
From: Dylan Araps <dylan.araps@gmail.com>
Date: Sun, 11 Aug 2019 18:03:12 +0000
Subject: [PATCH] flex: remove docs

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

diff --git a/core/flex/build b/core/flex/build
index 062e565d..bafdb040 100755
--- a/core/flex/build
+++ b/core/flex/build
@@ -13,3 +13,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/flex/version b/core/flex/version
index 1ddbfd42..f8b3069a 100644
--- a/core/flex/version
+++ b/core/flex/version
@@ -1 +1 @@
-2.6.4 2
+2.6.4 3