diff etc/PROBLEMS @ 94783:4b2ac57a4d30

(install-arch-indep, info): Handle MAKEINFO == off.
author Glenn Morris <rgm@gnu.org>
date Fri, 09 May 2008 04:28:15 +0000
parents 72eafc3867a7
children cbf5528cf447
line wrap: on
line diff