diff make-dist @ 43962:661b1aa856cc

Synchronize DIR entries with @direntry text in Texinfo sources.
author Eli Zaretskii <eliz@gnu.org>
date Sat, 16 Mar 2002 19:33:21 +0000
parents 1109a8546104
children 071e287dcbde
line wrap: on
line diff