openjdk-17: gzip manpages

Fixes errors like

 ~ $ man javac
 man: ERROR: /data/data/com.termux/files/usr/share/man/man1/javac.1.gz: No such file or directory
This commit is contained in:
Leonid Pliushch 2021-09-07 23:16:46 +03:00
parent 38b393ab03
commit e1441e6a6a
No known key found for this signature in database
GPG Key ID: 45F2964132545795
1 changed files with 3 additions and 2 deletions

View File

@ -3,7 +3,7 @@ TERMUX_PKG_DESCRIPTION="Java development kit and runtime"
TERMUX_PKG_LICENSE="GPL-2.0"
TERMUX_PKG_MAINTAINER="@termux"
TERMUX_PKG_VERSION=17.0
TERMUX_PKG_REVISION=14
TERMUX_PKG_REVISION=15
TERMUX_PKG_SRCURL=https://github.com/termux/openjdk-mobile-termux/archive/ec285598849a27f681ea6269342cf03cf382eb56.tar.gz
TERMUX_PKG_SHA256=d7c6ead9d80d0f60d98d0414e9dc87f5e18a304e420f5cd21f1aa3210c1a1528
TERMUX_PKG_DEPENDS="freetype, libandroid-shmem, libandroid-spawn, libiconv, zlib, xorgproto, libx11, libxcursor, libxext, cups, fontconfig, libpng, libxrender, libxtst, libxrandr, libxt, libxi"
@ -110,7 +110,8 @@ termux_step_make_install() {
if [ ! -f "$i" ]; then
continue
fi
ln -sfr "$i" "$TERMUX_PREFIX/share/man/man1/$(basename "$i")"
gzip "$i"
ln -sfr "${i}.gz" "$TERMUX_PREFIX/share/man/man1/$(basename "$i").gz"
done
# Dependent projects may need JAVA_HOME.