comparison make-dist @ 63748:8bc70dd17ac2

(MAKEINFO): Use --force.
author Eli Zaretskii <eliz@gnu.org>
date Fri, 24 Jun 2005 20:27:10 +0000
parents 3e36b3c98f8e
children c53a9463c31a 62afea0771d8
comparison
equal deleted inserted replaced
63747:f07f61322989 63748:8bc70dd17ac2