diff Makefile.in @ 12646:cd83cf47be08

(Info-current-file): Doc fix. (Info-find-node): Set Info-current-file to file name as specified.
author Richard M. Stallman <rms@gnu.org>
date Mon, 24 Jul 1995 01:26:23 +0000
parents 16b03ae9214b
children 237f7920c3a2
line wrap: on
line diff