diff options
Diffstat (limited to 'scripts/hxtool')
| -rw-r--r-- | scripts/hxtool | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/hxtool b/scripts/hxtool index 1e2c97c5e6..7d7c4289e3 100644 --- a/scripts/hxtool +++ b/scripts/hxtool @@ -19,7 +19,8 @@ hxtoh() print_texi_heading() { if test "$*" != ""; then - printf "@subsection %s\n" "$*" + title="$*" + printf "@subsection %s\n" "${title%:}" fi } |