diff INSTALL @ 30020:fd781aee7a03

(info-initialize): Use prune-directory-list to remove non-existant directories from Info-directory-list.
author Miles Bader <miles@gnu.org>
date Tue, 04 Jul 2000 04:49:54 +0000
parents 9f4d574a38b5
children cd84bd4a3411
line wrap: on
line diff