[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