diff make-dist @ 1971:b540866e8a79

(Info-insert-dir): Make menu items in Top node pointing each of the other nodes. (Info-insert-dir): New function. (Info-find-node): Use Info-insert-dir to visit dir file.
author Richard M. Stallman <rms@gnu.org>
date Mon, 01 Mar 1993 09:25:44 +0000
parents 05297a5a8238
children 4b2a76f0d640
line wrap: on
line diff