mirror of
https://codeberg.org/kiss-community/repo
synced 2024-10-04 00:10:58 -06:00
bison: remove docs
This commit is contained in:
parent
c2b5bd3088
commit
04de59beda
@ -9,3 +9,6 @@ make DESTDIR="$1" install
|
|||||||
|
|
||||||
# Remove all info files.
|
# Remove all info files.
|
||||||
rm -rf "$1/usr/share/info"
|
rm -rf "$1/usr/share/info"
|
||||||
|
|
||||||
|
# Remove docs.
|
||||||
|
rm -rf "$1/usr/share/doc"
|
||||||
|
@ -1 +1 @@
|
|||||||
3.4.1 1
|
3.4.1 2
|
||||||
|
Loading…
Reference in New Issue
Block a user