if there is one.
Fixes: debbugs:13016
+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.
" ("
(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