ada: Fix minor issues in -gnaty0's documentation
Before this patch, the documentation of -gnaty0 used 0-based indexing for column numbers while 1-based indexing is used everywhere else. This patch makes this documentation use 1-based indexing, and also adds a missing parenthesis. gcc/ada/ * doc/gnat_ugn/building_executable_programs_with_gnat.rst: Fix minor issues. * gnat_ugn.texi: Regenerate.
This commit is contained in:
parent
a004c28c50
commit
91f0a3a5a5
2 changed files with 7 additions and 7 deletions
|
@ -4783,7 +4783,7 @@ checks to be performed. The following checks are defined:
|
|||
then proper indentation is checked, with the digit indicating the
|
||||
indentation level required. A value of zero turns off this style check.
|
||||
The rule checks that the following constructs start on a column that is
|
||||
a multiple of the alignment level:
|
||||
one plus a multiple of the alignment level:
|
||||
|
||||
* beginnings of declarations (except record component declarations)
|
||||
and statements;
|
||||
|
@ -4794,10 +4794,10 @@ checks to be performed. The following checks are defined:
|
|||
or body or that completes a compound statement.
|
||||
|
||||
Full line comments must be
|
||||
aligned with the ``--`` starting on a column that is a multiple of
|
||||
aligned with the ``--`` starting on a column that is one plus a multiple of
|
||||
the alignment level, or they may be aligned the same way as the following
|
||||
non-blank line (this is useful when full line comments appear in the middle
|
||||
of a statement, or they may be aligned with the source line on the previous
|
||||
of a statement), or they may be aligned with the source line on the previous
|
||||
non-blank line.
|
||||
|
||||
.. index:: -gnatya (gcc)
|
||||
|
|
|
@ -19,7 +19,7 @@
|
|||
|
||||
@copying
|
||||
@quotation
|
||||
GNAT User's Guide for Native Platforms , Aug 26, 2024
|
||||
GNAT User's Guide for Native Platforms , Aug 30, 2024
|
||||
|
||||
AdaCore
|
||||
|
||||
|
@ -13481,7 +13481,7 @@ in the string after @code{-gnaty}
|
|||
then proper indentation is checked, with the digit indicating the
|
||||
indentation level required. A value of zero turns off this style check.
|
||||
The rule checks that the following constructs start on a column that is
|
||||
a multiple of the alignment level:
|
||||
one plus a multiple of the alignment level:
|
||||
|
||||
|
||||
@itemize *
|
||||
|
@ -13499,10 +13499,10 @@ or body or that completes a compound statement.
|
|||
@end itemize
|
||||
|
||||
Full line comments must be
|
||||
aligned with the @code{--} starting on a column that is a multiple of
|
||||
aligned with the @code{--} starting on a column that is one plus a multiple of
|
||||
the alignment level, or they may be aligned the same way as the following
|
||||
non-blank line (this is useful when full line comments appear in the middle
|
||||
of a statement, or they may be aligned with the source line on the previous
|
||||
of a statement), or they may be aligned with the source line on the previous
|
||||
non-blank line.
|
||||
@end table
|
||||
|
||||
|
|
Loading…
Add table
Reference in a new issue