------- Comment #1 from aldot at gcc dot gnu dot org 2006-05-09 07:58 ------- Created an attachment (id=11418) --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=11418&action=view) check if BUILD_INFO was requested explicitely
2006-05-09 Bernhard Fischer <[EMAIL PROTECTED]>
PR/27516
* Make-lang.in (doc/treelang.info): If configure says makeinfo is too
old,
don't build or install Info documentation.
Testing this patch.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27516
