diff make-dist @ 9588:7d465ccfd45b

(info-insert-file-contents): Always check for conflict with jka-compr. (Info-find-node): Don't search on Info-directory-list if the file name is absolute.
author Richard M. Stallman <rms@gnu.org>
date Tue, 18 Oct 1994 05:25:40 +0000
parents 35cdd4523abf
children ee0d90e7720d
line wrap: on
line diff