From: Michael J Gruber <g...@grubix.eu>
8ed68c1b ("CLI/git: change defaults for repo and prefix", 2022-05-07)
introduced an nmbug symlink for the notmuch-git man page. Do the same
for the info page.
Signed-off-by: Michael J Gruber <g...@grubix.eu>
---
While I don't use info pages personally, I package them ... Upcoming
Fedora packages will have a notmuch-git subpackage.
This probably needs a debian-specific follow-up patch which I am lacking
the expertise for.
doc/Makefile.local | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/doc/Makefile.local b/doc/Makefile.local
index 2f67f4de..1908eb83 100644
--- a/doc/Makefile.local
+++ b/doc/Makefile.local
@@ -148,7 +148,9 @@ else
install-info: build-info
mkdir -m0755 -p "$(DESTDIR)$(infodir)"
install -m0644 $(INFO_INFO_FILES) $(DESTDIR)$(infodir)
- for file in $(INFO_INFO_FILES); do install-info $$file
$(DESTDIR)$(infodir)/dir; done
+ cd $(DESTDIR)$(infodir) && ln -sf notmuch-git.info nmbug.info
+ for file in $(INFO_INFO_FILES) $(DESTDIR)$(infodir)/nmbug.info; do
install-info $$file $(DESTDIR)$(infodir)/dir; done
+ cd
endif
$(dir)/config.dox: version.stamp
--
2.37.0.rc2.141.g1312637e40
_______________________________________________
notmuch mailing list -- notmuch@notmuchmail.org
To unsubscribe send an email to notmuch-le...@notmuchmail.org
