This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.
Index Nav: | [Date Index] [Subject Index] [Author Index] [Thread Index] | |
---|---|---|
Message Nav: | [Date Prev] [Date Next] | [Thread Prev] [Thread Next] |
Other format: | [Raw text] |
Hi, Fixes PR/27516. makeinfo was executed unconditionally resulting in an error during make install. All other parts of the documentation do not treat a missing or old makeinfo as hard error but continue withoug building info pages. Tested on alphaev56-dec-osf5.1a where a makeinfo is installed but too old, and on i686-linux-gnu with a sufficiently current makeinfo installed. Please apply. 2006-05-13 Bernhard Fischer <aldot@gcc.gnu.org> PR/27516 * Make-lang.in (doc/treelang.info): If configure says makeinfo is too old then do not build nor install Info documentation.
Attachment:
gcc.pr27516.02.diff
Description: Text document
Index Nav: | [Date Index] [Subject Index] [Author Index] [Thread Index] | |
---|---|---|
Message Nav: | [Date Prev] [Date Next] | [Thread Prev] [Thread Next] |