From 7d69c52ed8939b036fbd31488f9c7b4f5d7b8208 Mon Sep 17 00:00:00 2001
From: Stefan Weil <weil@mail.berlios.de>
Date: Wed, 1 Jul 2009 23:13:34 +0200
Subject: [PATCH] Fix hxtool.

When converting from hx to texi format, hxtool (or to be
more precise sh which interprets hxtool) used standard
shell expansion of wildcards while writing lines to the
output.

Thus, something like "Password: ********"
looked very different in the generated documentation.

The patch disables this unwanted wildcard expansion.

Signed-off-by: Stefan Weil <weil@mail.berlios.de>
---
 hxtool | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/hxtool b/hxtool
index 885abe222d..0fdbc641c6 100644
--- a/hxtool
+++ b/hxtool
@@ -26,10 +26,10 @@ hxtotexi()
             STEXI*|ETEXI*) flag=$(($flag^1))
             ;;
             DEFHEADING*)
-            echo $(expr "$str" : "DEFHEADING(\(.*\))")
+            echo "$(expr "$str" : "DEFHEADING(\(.*\))")"
             ;;
             *)
-            test $flag -eq 1 && echo $str
+            test $flag -eq 1 && echo "$str"
             ;;
         esac
     done
-- 
2.30.2