From gml4410 at ggr.co.uk  Thu Nov 23 16:19:44 2006
From: gml4410 at ggr.co.uk (Gordon Lack)
Date: Thu, 23 Nov 2006 15:19:44 +0000
Subject: [Rd] configure issue (PR#9379)
In-Reply-To: <17765.45028.142959.710306@mithrandir.hornik.net>
References: <20061123141959.6ED5B2A359@slim.kubism.ku.dk>
	<17765.45028.142959.710306@mithrandir.hornik.net>
Message-ID: <4565BC10.8080605@ggr.co.uk>

Kurt Hornik wrote:
>
> Did you try configuring with MAKEINFO=false in your envrionment?

    No, but I just have and it makes no difference.

    The relevant code in configure is:

===============
echo "$as_me:$LINENO: checking for working makeinfo" >&5
echo $ECHO_N "checking for working makeinfo... $ECHO_C" >&6
if (makeinfo --version) < /dev/null > /dev/null 2>&1; then
   MAKEINFO=makeinfo
   echo "$as_me:$LINENO: result: found" >&5
echo "${ECHO_T}found" >&6
else
   MAKEINFO="\$(SHELL) \$(top_srcdir)/tools/missing makeinfo"
   echo "$as_me:$LINENO: result: missing" >&5
echo "${ECHO_T}missing" >&6
fi
===============

and that is always going to run "makeinfo --version" (which succeeds) 
and hence set MAKEINFO=makeinfo within the script.



[Rd] configure issue (PR#9379)
Gordon Lack