Manuel Pégourié-Gonnard <m...@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 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
