diff install-sh @ 34588:55d48e214744

(Info-default-directory-list): Don't delete configure-info-directory from the list of standard info directories when appending it to the end -- their order is important.
author Miles Bader <miles@gnu.org>
date Fri, 15 Dec 2000 03:53:13 +0000
parents 35064c2e86d7
children 23a1cea22d13
line wrap: on
line diff