|
| 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. k
| [Prev in Thread] | Current Thread | [Next in Thread] |