r208140 - in /trunk/gcc/ada: ChangeLog gnat_rm....

[charlet@gcc.gnu.org]

Author: charlet
Date: Tue Feb 25 15:20:43 2014
New Revision: 208140

URL: http://gcc.gnu.org/viewcvs?rev=208140&root=gcc&view=rev
Log:
2014-02-25  Arnaud Charlet  <charlet@adacore.com>

	* usage.adb (Usage): Add help on -gnateC.
	* switch-c.adb (Scan_Front_End_Switches): Add handling of -gnateC.
	* opt.ads (Generate_CodePeer_Messages): New flag.
	* gnat_ugn.texi: Document new switch -gnateC.

2014-02-25  Ben Brosgol  <brosgol@adacore.com>

	* gnat_rm.texi: Corrected minor typos in Implementation Defined
	Aspects.
	* opt.ads: Minor reformatting.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/gnat_rm.texi
    trunk/gcc/ada/gnat_ugn.texi
    trunk/gcc/ada/opt.ads
    trunk/gcc/ada/switch-c.adb
    trunk/gcc/ada/usage.adb