[tex-live] TL Manager query

Philip Taylor (Webmaster, Ret'd) P.Taylor at Rhul.Ac.Uk
Wed Jan 5 21:09:14 CET 2011



Lars Madsen wrote:

> nothing to worry about, I used to get that a few months ago, but haven't
> got it for a while now. In the manual page you can find an explanation
> about what the taxonomy file is

Thank you, Lars.  I searched the output from

	TeXdoc tlmgr

but none of the occurrences of "taxonomy" seemed to refer to
a potential error of this sort.

** Phil.
-- 
Not sent from my i-Pad, i-Phone, Blackberry, Blueberry, or any
such similar poseurs' toy, none of which would I be seen dead
with even if they came free with every packet of cornflakes.


More information about the tex-live mailing list