[Bug ada/57659] Failure in installing documentation of gcc-4.7.2

[sandra at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=57659

sandra at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |sandra at gcc dot gnu.org
          Component|other                       |ada

--- Comment #3 from sandra at gcc dot gnu.org ---
Marking this as an Ada bug.  A briefer summary of the bug is that gcc was
configured to build the Ada front end, but "make html" didn't build the HTML
for the Ada manual.

I'm not currently set up to build the Ada front end so I can't confirm whether
this problem still exists on trunk.