Re: awk texindex switch

[Eli Zaretskii]

> Date: Thu, 8 Jan 2015 21:58:42 GMT
> From: address@hidden (Karl Berry)
> 
>     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.

I've read it, but wasn't sure you meant the same thing.

> Since you mentioned it, I'll do it.

Thank you.