diff man/pgg.texi @ 59151:d6abda0a027b

(MAKEINFO): Specify --force.
author Richard M. Stallman <rms@gnu.org>
date Mon, 27 Dec 2004 19:57:21 +0000
parents c5e16264557d
children 3723093a21fd
line wrap: on
line diff