From fbb7384c5c8e44acf8425baaee997aa94d5e4bc3 Mon Sep 17 00:00:00 2001
From: Alain Reguera Delgado <alain.reguera@gmail.com>
Date: Jun 12 2011 02:19:26 +0000
Subject: Update comments in texinfo.sh.


---

diff --git a/Scripts/Functions/Help/Backends/Texinfo/texinfo.sh b/Scripts/Functions/Help/Backends/Texinfo/texinfo.sh
index 893bcb8..6289670 100755
--- a/Scripts/Functions/Help/Backends/Texinfo/texinfo.sh
+++ b/Scripts/Functions/Help/Backends/Texinfo/texinfo.sh
@@ -28,7 +28,7 @@ function texinfo {
     # Define manual backend directory. This is the place where all
     # language specific documentation manuals, for the same backend
     # documentation system, are stored in.
-    MANUAL_BACKEND="${MANUAL_BASEDIR}/$(cli_getRepoName ${FLAG_BACKEND} -d)"
+    MANUAL_BACKEND="${MANUAL_BASEDIR}"
 
     # Redefine manual base directory to refere the place where
     # language-specific source files used by texinfo documentation