From 605f14946c65b8fe7d2659692295dae139dc8958 Mon Sep 17 00:00:00 2001
From: "Richard M. Stallman" <rms@gnu.org>
Date: Tue, 30 Sep 2003 12:48:19 +0000
Subject: [PATCH] (Info-mode): Double each `%' in header line.

---
 lisp/info.el | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/lisp/info.el b/lisp/info.el
index 800ee86cbed..28869c4f469 100644
--- a/lisp/info.el
+++ b/lisp/info.el
@@ -2522,7 +2522,10 @@ Advanced commands:
   (make-local-variable 'Info-index-alternatives)
   (setq header-line-format
 	(if Info-use-header-line
-	    '(:eval (get-text-property (point-min) 'header-line))
+	    '(:eval
+	      (replace-regexp-in-string
+	       "%" "%%"
+	       (get-text-property (point-min) 'header-line)))
 	  nil)) ; so the header line isn't displayed
   (set (make-local-variable 'tool-bar-map) info-tool-bar-map)
   ;; This is for the sake of the invisible text we use handling titles.
-- 
2.39.2