bison: remove rm

This commit is contained in:
Dylan Araps 2019-10-07 16:42:04 +03:00
parent 9104289b1e
commit b354583e65
No known key found for this signature in database
GPG Key ID: 46D62DD9F1DE636E

View File

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