[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: 6.0 release

From: Eli Zaretskii
Subject: Re: 6.0 release
Date: Sat, 09 May 2015 14:04:37 +0300

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

  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?

reply via email to

[Prev in Thread] Current Thread [Next in Thread]