diff etc/GNU @ 63748:8bc70dd17ac2

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