> > texdoc -l -s 'regular-expression-for-grep' > > Allowing regexp search is always a good idea. Do we need an extra > commandline switch here? IMO it is sufficient to replace the > string-match by a regexp-match.
texdoc usually uses kpsewhich to find files which is much faster than scanning disks for files using find. So, the default should be that string-match done using kpsewhich and the regexp-match is specified by an option "-s" for "search disk". > But I think that grep should be called as "grep -i". With my implementation, people can do texdoc -s '-i pattern' 'another pattern' Thomas