From 26463c371b5ff339021b08226af5fdf227038ab8 Mon Sep 17 00:00:00 2001
From: Alain Reguera Delgado <alain.reguera@gmail.com>
Date: May 30 2011 03:42:33 +0000
Subject: Update Backends/Texinfo/texinfo_updateMenu.sh. Start using texinfo_getNode@3017.


---

diff --git a/Scripts/Functions/Help/Backends/Texinfo/texinfo_updateMenu.sh b/Scripts/Functions/Help/Backends/Texinfo/texinfo_updateMenu.sh
index 75eeb82..feaab15 100755
--- a/Scripts/Functions/Help/Backends/Texinfo/texinfo_updateMenu.sh
+++ b/Scripts/Functions/Help/Backends/Texinfo/texinfo_updateMenu.sh
@@ -36,11 +36,10 @@ function texinfo_updateMenu {
 
     # Build the menu node related to the entry being processed
     # currently.
-    local MENUNODE=$(echo "$MANUAL_ENTRY" | cut -d / -f9- | tr '/' ' ' \
-        | sed "s/\.${FLAG_BACKEND}$//")
+    local MENUNODE=$(${FLAG_BACKEND}_getNode "$MANUAL_ENTRY")
 
     # Give format to menu line using texinfo style.
-    local MENULINE="* ${MANUAL_CHAPTER_NAME} $MENUNODE::" 
+    local MENULINE="* $MENUNODE::" 
 
     # Define chapter's menu. Remove `@menu', `@end menu', and empty lines
     # from output.