diff etc/images/preferences.pbm @ 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 28718fa5d988
children
line wrap: on
line diff