diff --git a/core/flex/build b/core/flex/build index 062e565d..bafdb040 100755 --- a/core/flex/build +++ b/core/flex/build @@ -13,3 +13,6 @@ make DESTDIR="$1" install # Remove all info files. rm -rf "$1/usr/share/info" + +# Remove docs. +rm -rf "$1/usr/share/doc" diff --git a/core/flex/version b/core/flex/version index 1ddbfd42..f8b3069a 100644 --- a/core/flex/version +++ b/core/flex/version @@ -1 +1 @@ -2.6.4 2 +2.6.4 3