diff configure.in @ 51784:abcb358beb61

(Info-menu): Use Info-menu-entry-name-re.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Mon, 07 Jul 2003 14:46:00 +0000
parents e6a0d3015a99
children 1167403cc11b
line wrap: on
line diff