OSDN Git Service

PR documentation/15479
authorrwild <rwild@138bc75d-0d04-0410-961f-82ee72b054a4>
Sun, 24 Feb 2008 22:40:31 +0000 (22:40 +0000)
committerrwild <rwild@138bc75d-0d04-0410-961f-82ee72b054a4>
Sun, 24 Feb 2008 22:40:31 +0000 (22:40 +0000)
commitc80fc8f75192cec6b8155d0ed6f37db3472d8544
treef44549d23c46752363ded288722326e376342f43
parent53c09fa613e631c22df752d0c9147410d38f9af0
PR documentation/15479
* gnat_rm.texi, gnat_ugn.texi: Where appropriate, add @command,
use @command instead of @code, @option instead of @samp or @code,
@code instead of @var, @samp instead of @file.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@132602 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/gnat_rm.texi
gcc/ada/gnat_ugn.texi