Hello, the documentation for the program gprmake is missing.
Indeed (4.1 and 4.2), Arnaud I assume it's a matter of importing?
gprmake was a beta tool never documented, which probably should not have been put in the first place, so instead I'll likely remove it at some point, since in any case, gprmake does not really belong in the ada directory since it's a multi-language tool. Arno
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
Now done (gprmake no longer built)