diff configure.in @ 48690:036a8f0597c4

(Info-insert-dir): Make dir-node-cache variables buffer-local, so that killing the *info* buffer forces the dir-node to be rebuilt.
author Miles Bader <miles@gnu.org>
date Fri, 06 Dec 2002 09:08:55 +0000
parents 7cd03ef74b25
children 1c5f26ea4cbb
line wrap: on
line diff