[COMMITTED] manual: document that field labels shall be specified at the end

[Jose E. Marchesi]

2023-10-29  Jose E. Marchesi  <jemarch@gnu.org>

        * doc/poke.texi (Field Labels): Document that field labels should
        be specified after constraint expressions and initialization field
        values.
---
 ChangeLog     |  6 ++++++
 doc/poke.texi | 11 ++++++++++-
 2 files changed, 16 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 587bc86a..5a11fb05 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2023-10-29  Jose E. Marchesi  <jemarch@gnu.org>
+
+       * doc/poke.texi (Field Labels): Document that field labels should
+       be specified after constraint expressions and initialization field
+       values.
+
 2023-10-29  Jose E. Marchesi  <jemarch@gnu.org>
 
        * poke/pk-cmd-def.c (pk_cmd_info_type): Get a Poke expression as
diff --git a/doc/poke.texi b/doc/poke.texi
index c614da2e..102dff8f 100644
--- a/doc/poke.texi
+++ b/doc/poke.texi
@@ -11703,7 +11703,16 @@ struct
 @end example
 
 It is possible to specify an alternative offset for a field using a
-@dfn{field label}.
+@dfn{field label}, using the following syntax:
+
+@example
+ @var{field_type} @var{field_name} @@ @var{offset};
+@end example
+
+@noindent
+Which defines a label for the field @var{field_name} with value
+@var{offset}.  Note that the label specifier shall appear after any
+constraint expression and initialization value if the field has these.
 
 Consider for example an entry in an ELF symbol table.  Each entry has
 a @code{st_info} field which is 64-bits long, that in turn can be
-- 
2.30.2