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>

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>
Stefan Weil · Blue Swirl
1 parent 6ad8702a
Showing 1 changed file with 2 additions and 2 deletions
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