> I suppose you implemented something that searches through the file > names?
Yes. > That is good, certainly, but what I wanted to suggest was an > idea of having something that searched through file *contents*. And this > would apply mainly for source forms like .tex or .dtx, since (at least > as far as I know) we don't have free & fast tools for searching dvi > files or pdf files. I don't think that texdoc should be extended in that way. IMHO, it should be a simple tool which just displays some documentation if you know the filename. For other things, use e.g. texdoctk or the helpindex. Thomas
