diff man/basic.texi @ 36092:bf55849c91fb

(Info-copy-current-node-name): New function. (Info-mode-menu): Add it to the menu.
author Miles Bader <miles@gnu.org>
date Thu, 15 Feb 2001 05:00:10 +0000
parents 3ec035fea54a
children af4e219e9947
line wrap: on
line diff