# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 771431841 0
# Node ID 1d1693211560eb84cc8a305301a5e178706f781b
# Parent  41f30d92485e636d9741c2eedfb2b2e246c75e6a
(Info-fontify-node): Require some whitespace after *Note.

diff -r 41f30d92485e -r 1d1693211560 lisp/info.el
--- a/lisp/info.el	Sun Jun 12 12:57:42 1994 +0000
+++ b/lisp/info.el	Sun Jun 12 14:37:21 1994 +0000
@@ -1575,7 +1575,7 @@
 	      (put-text-property (match-beginning 1) (match-end 1)
 				 'mouse-face 'highlight))))
       (goto-char (point-min))
-      (while (re-search-forward "\\*Note[ \n\t]*\\([^:]*\\):" nil t)
+      (while (re-search-forward "\\*Note[ \n\t]+\\([^:]*\\):" nil t)
 	(if (= (char-after (1- (match-beginning 0))) ?\") ; hack
 	    nil
 	  (put-text-property (match-beginning 1) (match-end 1)