there is a problem in texdoctk.dat in the TeXLive repository: Yes, texdoctk.dat in TL is maintained by us, AFAIK. In any case, please do send a patch. Thanks, k