[texdoc] texdoc and cweb manual

Robin Fairbairns Robin.Fairbairns at cl.cam.ac.uk
Thu May 24 20:12:49 CEST 2012


Manuel Pégourié-Gonnard <mpg at elzevir.fr> wrote:

> 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? ;-)

if i wasn't otherwise engaged (dancing in small circles around the
catalogue) i would redo that as a pdf.  you can't read dvi out of a
browser, is the theory ... and we're an archive.

if i change cweb on the archive, it'll make its way to tex live,
eventually.

> > 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.

does cwebman apply to cweb-latex?  should they be listed together?

robin



More information about the texdoc mailing list