From fb7342f54a15c7955f80108da46d2d713930c91f Mon Sep 17 00:00:00 2001
From: Dylan Araps <dylan.araps@gmail.com>
Date: Mon, 16 Sep 2019 13:19:05 +0300
Subject: [PATCH] flex: clean up build

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

diff --git a/core/flex/build b/core/flex/build
index bafdb040..2eac2a9c 100755
--- a/core/flex/build
+++ b/core/flex/build
@@ -11,8 +11,6 @@
 make
 make DESTDIR="$1" install
 
-# Remove all info files.
+# Remove unneeded files.
 rm -rf "$1/usr/share/info"
-
-# Remove docs.
 rm -rf "$1/usr/share/doc"