diff lispintro/Makefile.old @ 48940:78987e4bee15

(info-lookup): For ease of use try item case-insensitive if not found case-sensitive. Do case sensitive search in index nodes, so items differing only in case go correctly to their respective nodes.
author Richard M. Stallman <rms@gnu.org>
date Mon, 23 Dec 2002 17:54:31 +0000
parents a8ee89e61d20
children 23a1cea22d13
line wrap: on
line diff