|
| From: | Karl Berry |
| Subject: | Re: awk texindex switch |
| Date: | Thu, 8 Jan 2015 21:58:42 GMT |
OK, I took a look at texindex/texindex.in, and I have a question: why
doesn't it try to look for the Awk script in "../share/texinfo"
If you read the comments, you'll see I already considered that and was
waiting to see if anyone cared about it. Since you mentioned it, I'll
do it.
K
| [Prev in Thread] | Current Thread | [Next in Thread] |