diff admin/build-configs @ 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 cde444d03b82
children 606f2d163a64 e6db9ee945b8
line wrap: on
line diff