Re: [Rd] configure issue (PR#9379)

From: Gordon Lack <>
Date: Thu 23 Nov 2006 - 15:19:44 GMT

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

   echo "$as_me:$LINENO: result: found" >&5 echo "${ECHO_T}found" >&6

   MAKEINFO="\$(SHELL) \$(top_srcdir)/tools/missing makeinfo"    echo "$as_me:$LINENO: result: missing" >&5 echo "${ECHO_T}missing" >&6

and that is always going to run "makeinfo --version" (which succeeds) and hence set MAKEINFO=makeinfo within the script. mailing list Received on Fri Nov 24 16:02:12 2006

Archive maintained by Robert King, hosted by the discipline of statistics at the University of Newcastle, Australia.
Archive generated by hypermail 2.1.8, at Fri 24 Nov 2006 - 08:30:44 GMT.

Mailing list information is available at Please read the posting guide before posting to the list.