On Fri, 2008-05-02 at 20:20 +0000, Felipe Figueiredo wrote:
> Jamie, just for completeness of the issue, shouldn't tracker index .tex
> files even without untex (index with \TeX tags)? This doesn't seem to be
> happening.
Yes, that was my guess, too. The filter script installed should have
indexed the files nevertheless, so there's a bug here, untex installed
or not.
I didn't re-index after installing untex to see if the current state of
my system could be useful. But well, I will try to re-index now, and
comment after that.
I think that the marking of the bug as invalid has been a bit hasty.
On Fri, 2008-05-02 at 20:20 +0000, Felipe Figueiredo wrote:
> Jamie, just for completeness of the issue, shouldn't tracker index .tex
> files even without untex (index with \TeX tags)? This doesn't seem to be
> happening.
Yes, that was my guess, too. The filter script installed should have
indexed the files nevertheless, so there's a bug here, untex installed
or not.
I didn't re-index after installing untex to see if the current state of
my system could be useful. But well, I will try to re-index now, and
comment after that.
I think that the marking of the bug as invalid has been a bit hasty.