[Top][All Lists]

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

Re: texindex in awk

From: Karl Berry
Subject: Re: texindex in awk
Date: Wed, 3 Dec 2014 22:12:10 GMT

    > /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.)


reply via email to

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