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"