From 5aeadbe41f37da25e5ebaed1b79df07537eb801f Mon Sep 17 00:00:00 2001
From: Dylan Araps <dylan.araps@gmail.com>
Date: Mon, 7 Oct 2019 16:58:22 +0300
Subject: [PATCH] libtool: remove rm

---
 extra/libtool/build | 3 ---
 1 file changed, 3 deletions(-)

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"