From a09bb0e4f61793ab3f6c7d6a4e892b1e947837fa Mon Sep 17 00:00:00 2001
From: Alain Reguera Delgado <alain.reguera@gmail.com>
Date: Jun 24 2011 21:54:26 +0000
Subject: Update Texinfo/texinfo.sh.


---

diff --git a/Scripts/Functions/Help/Texinfo/texinfo.sh b/Scripts/Functions/Help/Texinfo/texinfo.sh
index be23c32..2ce808f 100755
--- a/Scripts/Functions/Help/Texinfo/texinfo.sh
+++ b/Scripts/Functions/Help/Texinfo/texinfo.sh
@@ -28,7 +28,7 @@
 function texinfo {
 
     # Define file name (without extension) for documentation manual.
-    MANUAL_NAME=$(cli_getRepoName "repository" -f)
+    MANUAL_NAME=$(cli_getRepoName "$(basename $MANUAL_TLDIR)" -f)
 
     # Define file extension used by documentation manual source files.
     MANUAL_EXTENSION='texinfo'