mirror of https://github.com/djcb/mu.git
parent
4d3d94d7b1
commit
b01973205d
|
@ -4,11 +4,10 @@ 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 ${MESON_INSTALL_DESTDIR_PREFIX}/${infodir} \
|
||||
${MESON_INSTALL_DESTDIR_PREFIX}/${infodir}/${infofile}
|
||||
install-info --info-dir "${infodir}" "${infodir}/${infofile}"
|
||||
gzip --force "${infodir}/${infofile}"
|
||||
fi
|
||||
|
||||
gzip --force ${MESON_INSTALL_DESTDIR_PREFIX}/${infodir}/${infofile}
|
||||
|
|
|
@ -87,9 +87,9 @@ if makeinfo.found()
|
|||
'-o', join_paths(meson.current_build_dir(), 'mu-guile.info'),
|
||||
join_paths(meson.current_source_dir(), 'mu-guile.texi'),
|
||||
'-I', join_paths(meson.current_build_dir(), '..')])
|
||||
|
||||
if install_info.found()
|
||||
meson.add_install_script(install_info_script, 'share/info', 'mu-guile.info')
|
||||
infodir = join_paths(get_option('prefix') / get_option('infodir'))
|
||||
meson.add_install_script(install_info_script, infodir, 'mu-guile.info')
|
||||
endif
|
||||
endif
|
||||
|
||||
|
|
|
@ -152,6 +152,7 @@ if makeinfo.found()
|
|||
join_paths(meson.current_source_dir(), 'mu4e.texi'),
|
||||
'-I', join_paths(meson.current_build_dir(), '..')])
|
||||
if install_info.found()
|
||||
meson.add_install_script(install_info_script, 'share/info', 'mu4e.info')
|
||||
infodir = join_paths(get_option('prefix') / get_option('infodir'))
|
||||
meson.add_install_script(install_info_script, infodir, 'mu4e.info')
|
||||
endif
|
||||
endif
|
||||
|
|
Loading…
Reference in New Issue