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]

[PATCH] fix PR/27516 install failure due to unconditional invocation of makeinfo


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]