diff admin/nt/makedist.bat @ 46714:bebf069404ac

(Info-find-index-name): Improve last change.
author Richard M. Stallman <rms@gnu.org>
date Mon, 29 Jul 2002 01:48:52 +0000
parents 187e89d56f7a
children 12c610626e32 d7ddb3e565de
line wrap: on
line diff