[Bug ada/28953] Ada: Documentation for gprmake is missing

[charlet at gcc dot gnu dot org]

------- Comment #3 from charlet at gcc dot gnu dot org  2007-04-30 11:14 -------
Subject: Bug 28953

Author: charlet
Date: Mon Apr 30 11:14:24 2007
New Revision: 124293

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=124293
Log:
        PR ada/28953
        * Makefile.in: No longer build gprmake

Modified:
    trunk/gnattools/ChangeLog
    trunk/gnattools/Makefile.in


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=28953