diff options
| author | Vasiliy Fofanov <fofanov@adacore.com> | 2019-09-18 08:32:46 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-09-18 08:32:46 +0000 |
| commit | a6d677c65b999fd44446592cde9282b65772095a (patch) | |
| tree | d30d576c75539f49d5900e548838d1b31687c55f | |
| parent | f04e9787ea98a9a8d596be8ca78eb74a7f9f863c (diff) | |
| download | gcc-a6d677c65b999fd44446592cde9282b65772095a.zip gcc-a6d677c65b999fd44446592cde9282b65772095a.tar.gz gcc-a6d677c65b999fd44446592cde9282b65772095a.tar.bz2 | |
[Ada] Fix minor formatting issue
2019-09-18 Vasiliy Fofanov <fofanov@adacore.com>
gcc/ada/
* doc/gnat_rm/implementation_defined_pragmas.rst: Fix minor
formatting issue.
From-SVN: r275854
| -rw-r--r-- | gcc/ada/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index dee3610..752a9fd 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,8 @@ +2019-09-18 Vasiliy Fofanov <fofanov@adacore.com> + + * doc/gnat_rm/implementation_defined_pragmas.rst: Fix minor + formatting issue. + 2019-09-18 Javier Miranda <miranda@adacore.com> * exp_disp.adb (Make_DT, Make_Secondary_DT): Remove generation diff --git a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst index 8ce22f1..126aaf8 100644 --- a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst +++ b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst @@ -6179,7 +6179,7 @@ usually supplied automatically by the project manager. A pragma Source_File_Name cannot appear after a :ref:`Pragma_Source_File_Name_Project`. For more details on the use of the ``Source_File_Name`` pragma, see the -sections on ``Using Other File Names`` and `Alternative File Naming Schemes' +sections on `Using Other File Names` and `Alternative File Naming Schemes` in the :title:`GNAT User's Guide`. .. _Pragma_Source_File_Name_Project: |