[mutt] 07/17: correct_docdir_in_man_page
Antonio Radici
antonio at moszumanska.debian.org
Sun Aug 28 15:32:55 UTC 2016
This is an automated email from the git hooks/post-receive script.
antonio pushed a commit to branch patch-queue/master
in repository mutt.
commit 8f1475ac54553c296c1cae56c11454489bbca74a
Author: Antonio Radici <antonio at debian.org>
Date: Thu Feb 27 16:08:26 2014 +0100
correct_docdir_in_man_page
Fix the link so it points to the correct docdir
and gzipped manual.
Gbp-Pq: Topic debian-specific
Gbp-Pq: Name correct_docdir_in_man_page.patch
---
doc/mutt.man | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/mutt.man b/doc/mutt.man
index b5b7337..f1f1399 100644
--- a/doc/mutt.man
+++ b/doc/mutt.man
@@ -195,7 +195,7 @@ User's personal mapping between MIME types and file extensions.
System mapping between MIME types and file extensions.
.IP "@bindir@/mutt_dotlock"
The privileged dotlocking program.
-.IP "@docdir@/manual.txt"
+.IP "/usr/share/doc/mutt/manual.txt.gz"
The Mutt manual.
.SH BUGS
.PP
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-mutt/mutt.git
More information about the pkg-mutt-commits
mailing list