Re: 6.0 release

[Eli Zaretskii]

While playing with texindex.awk, I found a surprising misfeature.
Observe:

  gawk -v Invocation_name="foo\texindex.awk" -f texindex\texindex.awk -- --help
  Usage: foo      exindex.awk [OPTION]... FILE...
  Generate a sorted index for each TeX output FILE.
  Usually FILE... is specified as `foo.??' for a document `foo.texi'.

Note that strange "foo      exindex.awk" part: this is Gawk
interpreting \t in Invocation_name as a TAB!

This comes from this line in texindex.awk:

  printf(_"Usage: %s [OPTION]... FILE...\n", Invocation_name)

Given that 'printf' in Awk interprets escape sequences (and so does
'print'), how about making function 'usage' smarter about that?