Forgot to add: > In the course of building GCC, the `.texi` files are compiled > using the (system-provided) `makeinfo` binary. However, GNU texinfo > 5.0.0 (released Feb. 2013) apparently rejects some syntax that was > accepted by older versions of it,
...which could cause GCCs up to 4.7.2 (last release before 2013) to fail building where texinfo 5.0 is installed. Ciao, R -- Riccardo Murri http://www.s3it.uzh.ch/about/team/#Riccardo.Murri S3IT: Services and Support for Science IT University of Zurich Winterthurerstrasse 190, CH-8057 Zürich (Switzerland) Tel: +41 44 635 4297 Fax: +41 44 635 6888
