# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1019938569 0
# Node ID c4bbb272c48d7f3385a02ad5d4b863928a6b25d1
# Parent  433a658ae752a339efdcd6a1fe4e18d33201b6e0
(Info-header-line): Mark it as risky-local-variable.

diff -r 433a658ae752 -r c4bbb272c48d lisp/info.el
--- a/lisp/info.el	Sat Apr 27 19:49:18 2002 +0000
+++ b/lisp/info.el	Sat Apr 27 20:16:09 2002 +0000
@@ -961,6 +961,7 @@
 
 (defvar Info-header-line nil
   "If the info node header is hidden, the text of the header.")
+(put 'Info-header-line 'risky-local-variable t)
 
 (defun Info-select-node ()
 "Select the info node that point is in.