libtool: remove rm

This commit is contained in:
Dylan Araps 2019-10-07 16:58:22 +03:00
parent aaf797d94a
commit 5aeadbe41f
No known key found for this signature in database
GPG Key ID: 46D62DD9F1DE636E
1 changed files with 0 additions and 3 deletions

View File

@ -5,6 +5,3 @@
make
make DESTDIR="$1" install
# Remove all info files.
rm -rf "$1/usr/share/info"