GNATcheck Reference Manual
==========================

*GNATcheck, The GNAT coding standard checker*

| GNATcheck
| Version |version|

Permission is granted to copy, distribute and/or modify this document
under the terms of the GNU Free Documentation License, Version 1.1
or any later version published by the Free Software Foundation;
with the Invariant Sections being 'GNU Free Documentation License', with the
Front-Cover Texts being
'GNATcheck Reference Manual',
and with no Back-Cover Texts.
A copy of the license is included in the section entitled
'GNU Free Documentation License'.

.. toctree::
   :numbered:
   :maxdepth: 4

   gnatcheck_rm/getting_started
   gnatcheck_rm/using_gnatcheck
   gnatcheck_rm/predefined_rules
   gnatcheck_rm/writing_your_own_rules
   gnatcheck_rm/lkql_language_reference

.. raw:: latex

   \appendix

.. toctree::
   :maxdepth: 2

   gnatcheck_rm/list_of_rules
   share/gnu_free_documentation_license