Merge pull request #2585 from a3a3el/feature/best-compression-for-info-file

build: use best compression when installing info
This commit is contained in:
Dirk-Jan C. Binnema 2023-11-04 11:15:52 +02:00 committed by GitHub
commit afb98aa62f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -9,5 +9,5 @@ infofile=$2
# install
if test -z "${DESTDIR}"; then
install-info --info-dir "${infodir}" "${infodir}/${infofile}"
gzip --force "${infodir}/${infofile}"
gzip --best --force "${infodir}/${infofile}"
fi