Don't use $MAKEINFO for both a flag and a program.
authorGlenn Morris <rgm@gnu.org>
Wed, 5 Jan 2011 07:10:47 +0000 (23:10 -0800)
committerGlenn Morris <rgm@gnu.org>
Wed, 5 Jan 2011 07:10:47 +0000 (23:10 -0800)
commite536513812128e2814e66e12131d59b755e7e378
treef9af468c24000d7d70c6ef0c49c0a431e2a3c587
parent1f6f77220157c6fedea01ce87cf8430e32f0db7f
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.
ChangeLog
Makefile.in
configure.in