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

if there is one.

Fixes: debbugs:13016

1 files changed, 3 insertions, 1 deletions

diff --git a/lisp/info.el b/lisp/info.el
index 6624c0d61b2..abceb73bea0 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