2
0
mirror of https://codeberg.org/kiss-community/repo synced 2024-12-22 15:20:06 -07:00

flex: clean up build

This commit is contained in:
Dylan Araps 2019-09-16 13:19:05 +03:00
parent 988345550c
commit fb7342f54a

View File

@ -11,8 +11,6 @@
make
make DESTDIR="$1" install
# Remove all info files.
# Remove unneeded files.
rm -rf "$1/usr/share/info"
# Remove docs.
rm -rf "$1/usr/share/doc"