From b1ce950c8fa0929c6d4e2a10b10820c15fda7426 Mon Sep 17 00:00:00 2001
From: Alain Reguera Delgado <alain.reguera@gmail.com>
Date: May 27 2011 18:53:03 +0000
Subject: Update help_getEntry.sh.


---

diff --git a/Scripts/Functions/Help/help_getEntry.sh b/Scripts/Functions/Help/help_getEntry.sh
index 42530cd..ad8d005 100755
--- a/Scripts/Functions/Help/help_getEntry.sh
+++ b/Scripts/Functions/Help/help_getEntry.sh
@@ -53,7 +53,7 @@ function help_getEntry {
     # to take place on. Other options like `--edit', `--delete' and
     # `--read' cannot be applied to paths provided inside
     # trunk/Manuals/ such actions need to be performed manually.
-    if [[ ${ENTRY} =~ '\.texi$' ]];then
+    if [[ ${ENTRY} =~ "\.${FLAG_BACKEND}$" ]];then
         ENTRY=$(echo ${ENTRY} | sed 's!trunk/Manuals/!!')
     else
         ENTRY=$(dirname Directories/${ENTRY})/$(basename $LOCATION).${FLAG_BACKEND}