mirror of https://github.com/djcb/mu.git
14 lines
318 B
Bash
14 lines
318 B
Bash
#!/bin/sh
|
|
|
|
infodir=$1
|
|
infofile=$2
|
|
|
|
# Meson post-install script to update info metadata
|
|
|
|
# If DESTDIR is set, do _not_ install-info, since it's only a temporary
|
|
# install
|
|
if test -z "${DESTDIR}"; then
|
|
install-info --info-dir "${infodir}" "${infodir}/${infofile}"
|
|
gzip --best --force "${infodir}/${infofile}"
|
|
fi
|