diff etc/DISTRIB @ 63748:8bc70dd17ac2

(MAKEINFO): Use --force.
author Eli Zaretskii <eliz@gnu.org>
date Fri, 24 Jun 2005 20:27:10 +0000
parents 18c8da5d961a
children f05a048483cc
line wrap: on
line diff