Re: Bison build fails on ARM dev board

Hi Jeffrey,

> Le 30 janv. 2020 à 10:38, Jeffrey Walton <[email protected]> a écrit :
> 
> Hi Everyone,
> 
> I'm trying to build Bison 3.5.1 from sources on an ARM dev board. The
> board does not have a lot of space, so I usually avoid building the
> docs. In fact the doc tools like makeinfo or help2man are not
> installed.
> 
> I'm invoking configure and make as follows because the doc tools are missing:
> 
>    ./configure \
>        --prefix="/usr/local" \
>        --with-libiconv-prefix="/usr/local" \
>        --with-libintl-prefix="/usr/local" \
>        --disable-doc
> 
> And:
> 
>    make MAKEINFO=true HELP2MAN=true
> 
> It is resulting in:
> 
>    sed: can't read doc/bison.1.tmp: No such file or directory
>    mv: cannot stat `doc/bison.1.tmp': No such file or directory
>    gmake[2]: *** [doc/bison.1] Error 1
> 
> How do I proceed?

Sorry about that :(  But I don't know what's happening here, I cannot
reproduce your issue.  Could you try to find out?  Maybe using
`make --debug=b` will give you ideas on what is going wrong?  You
should not need these tool, we agree.