From cfa15d2e95eb681bbae4a9f5cc44c57a0649deb6 Mon Sep 17 00:00:00 2001 From: Alain Reguera Delgado Date: Apr 04 2011 19:32:02 +0000 Subject: Update help_getEntry.sh. --- diff --git a/Scripts/Functions/Help/help_getEntry.sh b/Scripts/Functions/Help/help_getEntry.sh index 508fe71..d187c3c 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/Identity/Manual/!!') + ENTRY=$(echo ${ENTRY} | sed 's!trunk/Manual!!') else ENTRY=$(dirname Directories/${ENTRY})/$(basename $LOCATION).texi fi