[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, 03 Dec 2014 16:08:20 -0700

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.


reply via email to

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