[Top][All Lists]

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

Re: texindex in awk

From: Gavin Smith
Subject: Re: texindex in awk
Date: Wed, 3 Dec 2014 23:26:12 +0000

On Wed, Dec 3, 2014 at 11:08 PM, Karl Berry <address@hidden> wrote:
> You have to use the new texindex[.awk] to process the index file for
> ti.texi.  Maybe that's it?
> Myself, I made texindex in my PATH a symlink to the texindex.awk that
> got generated by jrtangle.

That appears to be right. I got it to work by first running "make
texindex.awk", then editing texindex.awk to have the right path for
gawk. Then checking I had "." at the start of my PATH, then doing
"TEXINDEX=`which texindex.awk` make". (Doing "TEXINDEX=./texindex.awk
make" didn't work, probably because texi2dvi needs the full path.)

reply via email to

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