Commit 75498db0 authored by Chong Yidong's avatar Chong Yidong

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

if there is one.

Fixes: debbugs:13016
parent 3f1071c7
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.
......
......@@ -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
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment