From bed9f938bf64265cc75e83b606ff03fa674cbbf7 Mon Sep 17 00:00:00 2001
From: Dylan Araps <dylan.araps@gmail.com>
Date: Mon, 7 Oct 2019 16:47:25 +0300
Subject: [PATCH] flex: remove rm

---
 core/flex/build | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/core/flex/build b/core/flex/build
index 3f086476..c0aa1260 100755
--- a/core/flex/build
+++ b/core/flex/build
@@ -9,7 +9,3 @@
 
 make
 make DESTDIR="$1" install
-
-# Remove unneeded files.
-rm -rf "$1/usr/share/info"
-rm -rf "$1/usr/share/doc"