From 75498db059d2719ee30c4bd0d39f8fbcf07582be Mon Sep 17 00:00:00 2001 From: Chong Yidong Date: Fri, 7 Dec 2012 23:31:43 +0800 Subject: [PATCH] * info.el (Info-set-mode-line): Remove file extension from Info-current-file if there is one. Fixes: debbugs:13016 --- lisp/ChangeLog | 5 +++++ lisp/info.el | 4 +++- 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/lisp/ChangeLog b/lisp/ChangeLog index 36fc8eea44..ee55187957 100644 --- a/lisp/ChangeLog +++ b/lisp/ChangeLog @@ -1,3 +1,8 @@ +2012-12-07 Chong Yidong + + * info.el (Info-set-mode-line): Remove the file extension from + Info-current-file if there is one (Bug#13016). + 2012-12-07 Glenn Morris * mail/rmail.el (rmail-mime-decoded): New permanent local. diff --git a/lisp/info.el b/lisp/info.el index 6624c0d61b..abceb73bea 100644 --- a/lisp/info.el +++ b/lisp/info.el @@ -1668,7 +1668,9 @@ escaped (\\\",\\\\)." " (" (if (stringp Info-current-file) (replace-regexp-in-string - "%" "%%" (file-name-nondirectory Info-current-file)) + "%" "%%" + (file-name-sans-extension + (file-name-nondirectory Info-current-file))) (format "*%S*" Info-current-file)) ") " (if Info-current-node -- 2.20.1