[tex-live] Bug in texlive/texdoc?
Daniel Becker
daniel.becker at uni-rostock.de
Tue Aug 11 13:36:15 CEST 2009
Am 11.08.2009 um 03:08 schrieb Manuel Pégourié-Gonnard:
>>> Maybe a variant texsrc would be useful, but IMO it's not the same
>>> thing.
>>
>> It might be useful, but I doubt it's worthwhile to invest any time.
>> Only developers want to read the source code but I fear that every
>> developer has his own habits. texdoc is a nice tool for users, but
>> developers are a different species.
>>
> I agree.
Me too. Thanks for all these explanations about texdoc. I am using it
a lot to find package documentation. For the "harder stuff" that is
hidden in /source/ it is maybe ok if it is not shown to users (as
opposed to developers).
Daniel
More information about the tex-live
mailing list