diff man/woman.texi @ 30907:46752ce55a92

(insert-directory): Don't lose original file name, undoing an undocumented change.
author Andreas Schwab <schwab@suse.de>
date Thu, 17 Aug 2000 12:07:05 +0000
parents 2e1c439e7b1b
children 333acd184423
line wrap: on
line diff