[Rd] configure issue (PR#9379)

[Gordon Lack]

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.