diff make-dist @ 63368:2a644add6953

($(DOC)): Fix last change.
author Eli Zaretskii <eliz@gnu.org>
date Mon, 13 Jun 2005 11:24:32 +0000
parents 3e36b3c98f8e
children c53a9463c31a 62afea0771d8
line wrap: on
line diff