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.
______________________________________________
R-devel@r-project.org mailing list
https://stat.ethz.ch/mailman/listinfo/r-devel
