mirror of
https://codeberg.org/kiss-community/repo
synced 2024-07-07 08:22:28 +00:00
flex: remove rm
This commit is contained in:
parent
c951fc03cb
commit
bed9f938bf
|
@ -9,7 +9,3 @@
|
||||||
|
|
||||||
make
|
make
|
||||||
make DESTDIR="$1" install
|
make DESTDIR="$1" install
|
||||||
|
|
||||||
# Remove unneeded files.
|
|
||||||
rm -rf "$1/usr/share/info"
|
|
||||||
rm -rf "$1/usr/share/doc"
|
|
||||||
|
|
Loading…
Reference in New Issue
Block a user