mirror of
https://github.com/djcb/mu.git
synced 2024-06-26 07:29:17 +02:00
14 lines
311 B
Bash
14 lines
311 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 --force "${infodir}/${infofile}"
|
|
fi
|