mirror of https://github.com/djcb/mu.git
build: use best compression when installing info
This commit is contained in:
parent
14c2b373eb
commit
548abdac76
|
@ -9,5 +9,5 @@ infofile=$2
|
||||||
# install
|
# install
|
||||||
if test -z "${DESTDIR}"; then
|
if test -z "${DESTDIR}"; then
|
||||||
install-info --info-dir "${infodir}" "${infodir}/${infofile}"
|
install-info --info-dir "${infodir}" "${infodir}/${infofile}"
|
||||||
gzip --force "${infodir}/${infofile}"
|
gzip --best --force "${infodir}/${infofile}"
|
||||||
fi
|
fi
|
||||||
|
|
Loading…
Reference in New Issue