diff man/woman.texi @ 42527:4d8c90315557

(texinfo-insert-@end): Fix the change from 2001-10-24.
author Eli Zaretskii <eliz@gnu.org>
date Fri, 04 Jan 2002 13:08:14 +0000
parents 57371dae7dbd
children 661b1aa856cc
line wrap: on
line diff