Hi Jeffrey, > Le 30 janv. 2020 à 10:38, Jeffrey Walton <noloa...@gmail.com> 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.