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

*GNAT, The GNU Ada Development Environment*

| The GNAT Ada Compiler
| 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: 3

   gnatcheck_rm/about_this_manual
   gnatcheck_rm/introduction
   gnatcheck_rm/format_of_the_report_file
   gnatcheck_rm/general_gnatcheck_switches
   gnatcheck_rm/gnatcheck_rule_options
   gnatcheck_rm/adding_the_results_of_compiler_checks_to_gnatcheck_output
   gnatcheck_rm/mapping_gnatcheck_rules_onto_coding_standards
   gnatcheck_rm/rule_exemption
   gnatcheck_rm/predefined_rules
   gnatcheck_rm/example_of_gnatcheck_usage
   gnatcheck_rm/list_of_rules

.. raw:: latex

   \appendix

.. toctree::
   :maxdepth: 3

   share/gnu_free_documentation_license
