diff config.sub @ 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 fad18c8cd792
children 65667218173f
line wrap: on
line diff