Fix hxtool.
authorStefan Weil <weil@mail.berlios.de>
Wed, 1 Jul 2009 21:13:34 +0000 (23:13 +0200)
committerBlue Swirl <blauwirbel@gmail.com>
Thu, 2 Jul 2009 17:54:34 +0000 (17:54 +0000)
commitab6d0e4690fc2f153780180daa2a3611c976868d
treed07e7cadc72e5088d43efcb0cb6e3a4484853040
parent19cba518167e167db43e6608380d87115fb9fda6
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