diff nt/configure.bat @ 52648:928f0fb38bfa

(Info-find-index-name): Search both with and without the " <1>" etc. suffixes which makeinfo appends to duplicate index entries.
author Eli Zaretskii <eliz@gnu.org>
date Sun, 28 Sep 2003 09:17:29 +0000
parents 11b0aed20b26
children 87fc355c8bf5 375f2633d815
line wrap: on
line diff