diff make-dist @ 22863:58584d6a8237

(Info-find-node): Position at the beginning of the node after calling Info-select-node. (Info-insert-dir): Catch errors in insert-file-contents.
author Richard M. Stallman <rms@gnu.org>
date Sat, 01 Aug 1998 19:03:50 +0000
parents d929ae6f35d3
children e270203c0c9f
line wrap: on
line diff