diff make-dist @ 63677:0f1e07e44d2d

(Miscellaneous Commands): Texinfo usage fix.
author Juanma Barranquero <lekktu@gmail.com>
date Thu, 23 Jun 2005 01:21:38 +0000
parents 3e36b3c98f8e
children c53a9463c31a 62afea0771d8
line wrap: on
line diff