* info.el (Info-set-mode-line): Remove file extension from Info-current-file

if there is one.

Fixes: debbugs:13016

diff --git a/lisp/ChangeLog b/lisp/ChangeLog
index 36fc8ee..ee55187 100644 (file)
--- a/lisp/ChangeLog
+++ b/lisp/ChangeLog
@@ -1,3 +1,8 @@
+2012-12-07  Chong Yidong  <cyd@gnu.org>
+
+       * 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  <rgm@gnu.org>
 
        * mail/rmail.el (rmail-mime-decoded): New permanent local.

diff --git a/lisp/info.el b/lisp/info.el
index 6624c0d..abceb73 100644 (file)
--- 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