[texdoc] texdoc and cweb manual

[Manuel Pégourié-Gonnard]

Hi Norbert,

On 24/05/2012 00:48, Norbert Preining wrote:
> texdoc cannot find cweb manual:
> $ texdoc -l cweb
>  1 /home/norbert/tl/2012/texmf-dist/doc/latex/cweb-latex/cweb-user.pdf
>    = User manual
>  2 /home/norbert/tl/2012/texmf-dist/doc/latex/cweb-latex/cweb-conf.pdf
>    = Internal interfaces
>  3 /home/norbert/tl/2012/texmf-dist/doc/plain/cweb/cwebman.dvi

Hum, really? ;-)

> But we would ike to get 
> 	cwebman.dvi
> as an option (maybe first?), too.
> 
> Is this possible?
> 
Of course it is. I just made it the first result.

Manuel.