[texdoc] texdoc and cweb manual
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,
> > 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?
More information about the texdoc