diff oldXMenu/Destroy.c @ 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 5cc91198ffb2
children ef719132ddfa
line wrap: on
line diff