[rtems-central commit] spec: Fix formatting

[Sebastian Huber]

Module:    rtems-central
Branch:    master
Commit:    1c05a410aa5d9f09674fba8a7326b3f773138793
Changeset: http://git.rtems.org/rtems-central/commit/?id=1c05a410aa5d9f09674fba8a7326b3f773138793

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Mon May  8 22:16:45 2023 +0200

spec: Fix formatting

---

 spec/rtems/timer/glossary/servercontext.yml | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/spec/rtems/timer/glossary/servercontext.yml b/spec/rtems/timer/glossary/servercontext.yml
index 29a3bcae..b6eb515b 100644
--- a/spec/rtems/timer/glossary/servercontext.yml
+++ b/spec/rtems/timer/glossary/servercontext.yml
@@ -8,5 +8,13 @@ links:
   uid: group
 term: server context
 text: |
-  The ${../glossary/timerserviceroutine:/term} is or will be executed by the ${/glossary/task:/term} of the timer server.  A timer enters server ${../glossary/context:/term} when the timer is ${../glossary/scheduled:/term} using the directives ${../if/server-fire-after:/name} or ${../if/server-fire-when:/name}.  A timer leaves server ${../glossary/context:/term} when the timer is ${../glossary/scheduled:/term} using the directives ${../if/fire-after:/name} or ${../if/fire-when:/name} or when the timer is deleted.  Canceling or resetting a timer does not change the ${../glossary/context:/term}.
+  The ${../glossary/timerserviceroutine:/term} is or will be executed by the
+  ${/glossary/task:/term} of the timer server.  A timer enters server
+  ${../glossary/context:/term} when the timer is ${../glossary/scheduled:/term}
+  using the directives ${../if/server-fire-after:/name} or
+  ${../if/server-fire-when:/name}.  A timer leaves server
+  ${../glossary/context:/term} when the timer is ${../glossary/scheduled:/term}
+  using the directives ${../if/fire-after:/name} or ${../if/fire-when:/name} or
+  when the timer is deleted.  Canceling or resetting a timer does not change
+  the ${../glossary/context:/term}.
 type: glossary