[tex-live] TL Manager query

[Philip Taylor (Webmaster, Ret'd)]

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.