diff make-dist @ 24745:aa8417416f03

(texinfo-anchor): Don't delete a non-speace after the @anchor command.
author Richard M. Stallman <rms@gnu.org>
date Wed, 19 May 1999 01:40:23 +0000
parents 58e77af0527b
children 3171bf7ae0ff
line wrap: on
line diff