>>>>> "Michael" == Michael John Downes <[EMAIL PROTECTED]> writes:
> 4. It would be good if this command would show the FAQ with
> "more", or something to that effect:
> texdoc teTeX-FAQ
If you solve the problems with files that have no extension, either
"more" is already used, or any other program set by the environment
variable $PAGER.
> 5. It would be good to have an additional option to allow
> grepping through the documentation tree, perhaps
> 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.
Even for people with no knowledge about regexps it is like a simple
substring-match.
But I think that grep should be called as "grep -i".
Regards,
Reinhard
--
----------------------------------------------------------------------------
Reinhard Kotucha Phone: +49-511-751355
Berggartenstr. 9
D-30419 Hannover mailto:[EMAIL PROTECTED]
----------------------------------------------------------------------------
Microsoft isn't the answer. Microsoft is the question, and the answer is NO.
----------------------------------------------------------------------------
