[COMMITTED] doc: fix menu for `.vm dispatch'

[Mohammad-Reza Nabipoor]

2023-01-12  Mohammad-Reza Nabipoor  <mnabipoor@gnu.org>

        * doc/poke.texi (.vm dispatch): Fix menu.
---
 ChangeLog     | 4 ++++
 doc/poke.texi | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index d0e4a2a6..66896b49 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2023-01-12  Mohammad-Reza Nabipoor  <mnabipoor@gnu.org>
+
+       * doc/poke.texi (.vm dispatch): Fix menu.
+
 2023-01-11  Mohammad-Reza Nabipoor  <mnabipoor@gnu.org>
 
        * poked/poked.pk (__dots): Renamed to `__poked_dots'.
diff --git a/doc/poke.texi b/doc/poke.texi
index 54cd398f..5090ca15 100644
--- a/doc/poke.texi
+++ b/doc/poke.texi
@@ -8800,7 +8800,7 @@ with the PVM.
 @menu
 * @:.vm disassemble::          PVM and native disassembler.
 * @:.vm profile::               Profiling Poke programs.
-* @:.vm dispatch                PVM dispatching strategy.
+* @:.vm dispatch::              PVM dispatching strategy.
 @end menu
 
 @node @:.vm disassemble
-- 
2.39.0