diff make-dist @ 18908:a5e6856e865e

(dircategory): Delete obsolete mistaken `put'. (texinfo-end-direntry): Output extra newline. (texinfo-format-dircategory): Parse the arg and reinsert it by hand.
author Richard M. Stallman <rms@gnu.org>
date Tue, 22 Jul 1997 20:06:24 +0000
parents 13688b320903
children f0453e066438
line wrap: on
line diff