From 966109580cafbc66f95ce09875b5f2847cd801b9 Mon Sep 17 00:00:00 2001
From: Alain Reguera Delgado <alain.reguera@gmail.com>
Date: Mar 02 2011 04:33:06 +0000
Subject: Update manual_getEntry.sh.


---

diff --git a/Scripts/Bash/Cli/Functions/Manual/manual_getEntry.sh b/Scripts/Bash/Cli/Functions/Manual/manual_getEntry.sh
index 1882ce5..8fc6661 100755
--- a/Scripts/Bash/Cli/Functions/Manual/manual_getEntry.sh
+++ b/Scripts/Bash/Cli/Functions/Manual/manual_getEntry.sh
@@ -54,7 +54,7 @@ function manual_getEntry {
     # to take place on. Other options like `--edit', `--delete' and
     # `--read' cannot be applied to paths provided is inside
     # trunk/Manuals/ such actions made manually.
-    if [[ ${ENTRY} =~ '^trunk/Manual' ]];then
+    if [[ ${ENTRY} =~ '\.texi$' ]];then
         ENTRY=$(echo ${ENTRY} | sed 's!trunk/Manual/!!')
     else
         ENTRY=$(dirname Filesystem/${ENTRY})/$(basename $LOCATION).texi