From b2579087ecf55a148386769607d1a8d06c7d2944 Mon Sep 17 00:00:00 2001
From: Alain Reguera Delgado <alain.reguera@gmail.com>
Date: Apr 04 2011 21:41:49 +0000
Subject: Update help_getEntry.sh.


---

diff --git a/Scripts/Functions/Help/help_getEntry.sh b/Scripts/Functions/Help/help_getEntry.sh
index d187c3c..bc2c928 100755
--- a/Scripts/Functions/Help/help_getEntry.sh
+++ b/Scripts/Functions/Help/help_getEntry.sh
@@ -55,7 +55,7 @@ function help_getEntry {
     # paths provided inside trunk/Identity/Manuals/ such actions need
     # to be performed manually.
     if [[ ${ENTRY} =~ '\.texi$' ]];then
-        ENTRY=$(echo ${ENTRY} | sed 's!trunk/Manual!!')
+        ENTRY=$(echo ${ENTRY} | sed 's!trunk/Manual/!!')
     else
         ENTRY=$(dirname Directories/${ENTRY})/$(basename $LOCATION).texi
     fi