Menu

#3192 configure should check for makeinfo

open
nobody
None
Build
5
2021-03-14
2021-03-14
No

make by default builds the documentation, which requires makeinfo (e.g. in Debian in the texinfo package). Build fails if it is missing. So configure should check for it.

Related

Wiki: SDCC-STD-UX

Discussion


Log in to post a comment.

MongoDB Logo MongoDB