tree d07e7cadc72e5088d43efcb0cb6e3a4484853040
parent 6ad8702a77edbc2f4da9ae9424c65c2c8c9bf7ed
author Stefan Weil <weil@mail.berlios.de> 1246482814 +0200
committer Blue Swirl <blauwirbel@gmail.com> 1246557274 +0000

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>