diff nt/envadd.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 27bc8b966642
children 23a17af379b1
line wrap: on
line diff