<html><head></head><body><div style="font-family: Verdana;font-size: 12.0px;"><div>
<div>Reading this conversation, and Karl's words ("the whole idea of texdoc is convenience"), I come back to my idea of helping newbies by linking texdoc to the content of LaTeX2e's unofficial reference manual.</div>

<div> </div>

<div>If texdoc starts interacting with the user, couldn't we help a newbie, who would have been typing "texdoc label", with a reply such as "label is described in the LaTeX2e manual ; please type 'texdoc latex2e' to open it"?</div>

<div> </div>

<div>It would be helpful, and doesn't seem that difficult if we are working on a "fuzzy search" feature.</div>

<div> </div>

<div>It needs a keyword list (containing every command that appears in the table of contents of the manual), and a feature replying, in case of a match, "$1 is described in the LaTeX2e manual ; please type 'texdoc latex2e' to open it".</div>

<div> </div>

<div>What do you think?</div>

<div>
<div> </div>

<div>Best,</div>

<div> </div>

<div>Patrick</div>

<div>member of GUTenberg, the french user group,</div>

<div>and moderator on texnique.fr, the french TeX Q&A.</div>

<div style="margin: 10.0px 5.0px 5.0px 10.0px;padding: 10.0px 0 10.0px 10.0px;border-left: 2.0px solid rgb(195,217,229);">
<div style="margin: 0 0 10.0px 0;"><b>Sent:</b> Monday, November 13, 2017 at 1:10 AM<br/>
<b>From:</b> "Karl Berry" <karl@freefriends.org><br/>
<b>To:</b> tkt.asakura@gmail.com<br/>
<b>Cc:</b> texdoc@tug.org<br/>
<b>Subject:</b> Re: [texdoc] Some small bugs and more</div>

<div>In that situation, texdoc will ask something like<br/>
Do you mean "FOOBAZ"? (y/N)<br/>
<br/>
I think it should just default to using the fuzzy results instead of<br/>
asking anything, when no regular search results are found. The whole<br/>
idea of texdoc is convenience, so why not? There could be an option<br/>
--fuzzy=yes|no|interact<br/>
(plus config file options, etc., etc.) for users to specify if they care.<br/>
<br/>
Although I guess the options could get more complicated, since there's<br/>
also the question of what the cutoff for the distance should be.<br/>
Well, you get the idea :).<br/>
<br/>
Thanks,<br/>
Karl</div>
</div>
</div>
</div></div></body></html>