]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Update doc of Style_Checks pragma
authorTonu Naks <naks@adacore.com>
Tue, 9 Jul 2024 12:02:57 +0000 (12:02 +0000)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Fri, 2 Aug 2024 07:08:06 +0000 (09:08 +0200)
commit8239a5f75dffe5e3a95b3400da9a12c11fd0d100
tree29cd11c81614eb911a56df43336fdf1df2af6cb1
parentee7945e367c2e9a1127aac0c11c078638601258d
ada: Update doc of Style_Checks pragma

gcc/ada/

* doc/gnat_rm/implementation_defined_pragmas.rst: Add examples.
* gnat_rm.texi: Regenerate.
* gnat_ugn.texi: Regenerate.
gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst
gcc/ada/gnat_rm.texi
gcc/ada/gnat_ugn.texi