diff nt/icons/gnu2b48t.ico @ 112123:5e63c33ad48c

Don't use $MAKEINFO for both a flag and a program. * configure.in (HAVE_MAKEINFO): New output variable. (MAKEINFO): Reset to "makeinfo" if not found. * Makefile.in (install-arch-indep, info): Replace MAKEINFO = off with HAVE_MAKEINFO = no.
author Glenn Morris <rgm@gnu.org>
date Tue, 04 Jan 2011 23:10:47 -0800
parents 354e0c45cedf
children
line wrap: on
line diff