]> git.eshelyaron.com Git - emacs.git/commitdiff
(Info-fontify-node): Require some whitespace after *Note.
authorRichard M. Stallman <rms@gnu.org>
Sun, 12 Jun 1994 14:37:21 +0000 (14:37 +0000)
committerRichard M. Stallman <rms@gnu.org>
Sun, 12 Jun 1994 14:37:21 +0000 (14:37 +0000)
lisp/info.el

index 212ca311b0839a514cfa0b8a2c6d179e478e9a1f..4519a22d3143c6bfd11dbe5708a3659416983c05 100644 (file)
@@ -1575,7 +1575,7 @@ The command is found by looking up in Emacs manual's Command Index."
              (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)