diff make-dist @ 1673:975c866af92d

Sat Dec 12 03:22:57 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu) * paths.el (Info-default-directory-list): The info files are supposed to be in /usr/local/info these days. Add it to the list of directories to search.
author Jim Blandy <jimb@redhat.com>
date Sat, 12 Dec 1992 15:22:04 +0000
parents 71a9637cab59
children c4da55e6cfd3
line wrap: on
line diff