diff --git a/extra/libtool/build b/extra/libtool/build
index 8c650b61..6daf22f8 100755
--- a/extra/libtool/build
+++ b/extra/libtool/build
@@ -5,6 +5,3 @@
 
 make
 make DESTDIR="$1" install
-
-# Remove all info files.
-rm -rf "$1/usr/share/info"