From 700989298ca4c9cb1583f60cd9a689d26b3bacfa Mon Sep 17 00:00:00 2001 From: Marc Bonnici <marc.bonnici@arm.com> Date: Wed, 16 May 2018 11:33:37 +0100 Subject: [PATCH] doc: Correct ID names --- doc/source/how_tos/users/agenda.rst | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/source/how_tos/users/agenda.rst b/doc/source/how_tos/users/agenda.rst index bee5b6db..90affd44 100644 --- a/doc/source/how_tos/users/agenda.rst +++ b/doc/source/how_tos/users/agenda.rst @@ -301,8 +301,8 @@ to all specs within an agenda (and therefore with a single WA run). If an ID isn't explicitly specified using ``id`` field (note that the field name is in lower case), one will be automatically assigned to the spec at the beginning of the WA run based on the position of the spec within the list. The first spec -*without an explicit ID* will be assigned ID ``1``, the second spec *without an -explicit ID* will be assigned ID ``2``, and so forth. +*without an explicit ID* will be assigned ID ``wk1``, the second spec *without an +explicit ID* will be assigned ID ``wk2``, and so forth. Numerical IDs aren't particularly easy to deal with, which is why it is recommended that, for non-trivial agendas, you manually set the ids to something