GCC 3.1 Issues

[Robert Dewar]

I agree that the lack of a user manual is blocking to including the GNAT
sources. I will try to address this immediately.

As for the bug box, I am confused by this, the current sources should
generate a message saying

                  Write_Str
                    ("| Please submit bug report by email " &
                    "to gcc-bugs@gcc.gnu.org.");
                  End_Line;

providing that Gnat_Version_Type is set to "FSF    " as it should be for the
sources at the FSF. Perhaps somehow this did not get done. I will check