diff options
| author | David Bremner <david@tethera.net> | 2018-05-21 13:08:52 -0700 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2018-05-26 08:26:22 -0700 |
| commit | 95f441b06bbf728252fe6cd3f8cb93d969011425 (patch) | |
| tree | 92937acc9b98980de6a1391cbd7fcd1cb9aaca8b | |
| parent | 7a6d4a0852664483bbba702cf3b030448b079e2c (diff) | |
doc: install info files in elpa package
The duplication of effort in installing into different places seems
unavoidable; or more precisely not worth avoiding by more extensive
gnu-make-isms.
| -rw-r--r-- | emacs/Makefile.local | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/emacs/Makefile.local b/emacs/Makefile.local index 040e64d4..1b3ef584 100644 --- a/emacs/Makefile.local +++ b/emacs/Makefile.local @@ -80,9 +80,14 @@ endif elpa: $(ELPA_FILE) -notmuch-emacs-%.tar: ${elpa_sources} +ELPA_DIR=.elpa-build/notmuch-${ELPA_VERSION} +notmuch-emacs-%.tar: ${elpa_sources} build-info mkdir -p .elpa-build/notmuch-${ELPA_VERSION} - cp ${elpa_sources} .elpa-build/notmuch-${ELPA_VERSION} + cp ${elpa_sources} ${ELPA_DIR} +ifeq ($(HAVE_SPHINX)$(HAVE_MAKEINFO)$(HAVE_INSTALL_INFO),111) + cp ${INFO_INFO_FILES} ${ELPA_DIR} + for file in ${INFO_INFO_FILES}; do install-info $$file ${ELPA_DIR}/dir; done +endif tar -C .elpa-build -cf $@ notmuch-${ELPA_VERSION} rm -r .elpa-build |