From d6bcb43f70ac2f8585855cd4635e566cce7e507f Mon Sep 17 00:00:00 2001 From: Alexander M Pickering Date: Mon, 9 Dec 2024 01:52:09 -0600 Subject: Delete doc from rock in release builds --- init | 2 ++ 1 file changed, 2 insertions(+) diff --git a/init b/init index 206fcf8..cc8d540 100755 --- a/init +++ b/init @@ -11,6 +11,8 @@ obj="luasystem-$packver.$(luarocks config arch).rock" cp $obj /root cd /root if [ -z $(echo $CFLAGS | grep -o -E -- '( |^)-g( |$)') ]; then + # Release build, delete docs/ + zip -d $obj doc/ doc/* # And pack the library with upx unzip $obj lib/* upx --no-progress lib/* -- cgit v1.2.3-55-g6feb