[PATCH] doc: provide nmbug link for notmuch-git info page

Subject: [PATCH] doc: provide nmbug link for notmuch-git info page

Date: Tue, 28 Jun 2022 13:57:33 +0200

To: notmuch@notmuchmail.org

Cc: Michael J Gruber

From: michaeljgruber+grubix+git@gmail.com

From: Michael J Gruber <git@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 <git@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-leave@notmuchmail.org

Thread: