diff options
| author | Robert Dewar <dewar@adacore.com> | 2010-01-28 10:10:58 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-01-28 11:10:58 +0100 |
| commit | 73d2b42ab58fe67f27618377ded3b4e8027515f2 (patch) | |
| tree | 136b3d3c66b2268c7232e93fe1eb710f04f50d51 /gcc | |
| parent | 4fc2b1aabf9e4dccc6d13162c6cfe376c0d46e78 (diff) | |
| download | gcc-73d2b42ab58fe67f27618377ded3b4e8027515f2.zip gcc-73d2b42ab58fe67f27618377ded3b4e8027515f2.tar.gz gcc-73d2b42ab58fe67f27618377ded3b4e8027515f2.tar.bz2 | |
gnat_rm.texi: Minor correction
2010-01-28 Robert Dewar <dewar@adacore.com>
* gnat_rm.texi: Minor correction
From-SVN: r156314
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/ada/gnat_rm.texi | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 303ab26..848eb33 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,7 @@ +2010-01-28 Robert Dewar <dewar@adacore.com> + + * gnat_rm.texi: Minor correction + 2010-01-27 Pascal Obry <obry@adacore.com> * g-awk.adb: ensure that an AWK session is reusable. diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi index abfb4ee..84a95a7 100644 --- a/gcc/ada/gnat_rm.texi +++ b/gcc/ada/gnat_rm.texi @@ -4307,7 +4307,7 @@ name for the spec or for the body. The optional Index argument should be used when a file contains multiple units, and when you do not want to use @code{gnatchop} to separate then into multiple files (which is the recommended procedure to limit the -number of recompilation that are needed when some sources change). +number of recompilations that are needed when some sources change). For instance, if the source file @file{source.ada} contains @smallexample @c ada |