diff etc/DISTRIB @ 44858:b0768ec46559

Fix Texinfo usage in previous change.
author Richard M. Stallman <rms@gnu.org>
date Thu, 25 Apr 2002 19:48:37 +0000
parents 3e47b3d08800
children 80973470ed3e d7ddb3e565de
line wrap: on
line diff