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>

diff --git a/hxtool b/hxtool
index 885abe2..0fdbc64 100644 (file)
--- 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