Re: texindex in awk

[Karl Berry]

    > /bin/sh: ./jrtangle: /usr/local/bin/gawk: bad interpreter: No such

Yeah, like I said, you may have to change the #! lines.

    Loading texinfo [version 2005-01-30.17]: ...
    l.24 \global\usebracesinindexestrue

You have to use a recent texinfo.tex (this year), not one from almost a
decade ago.  (That TeX switch is a feature that the awk texindex
supports and C texindex doesn't.  Since the pdf won't get made as part
of the build, it's not inducing a requirement for general users.)

thanks,
karl