diff lisp/options.el @ 4967:67810bbdfc9d

(Info-extract-menu-item): Quote `*' in the menu-item leadin re-search to prevent us from finding node names which contain the text of another node name within them.
author Richard M. Stallman <rms@gnu.org>
date Wed, 10 Nov 1993 20:46:09 +0000
parents f287613dfc28
children b808c61b7ee1
line wrap: on
line diff