Am 12.05.2011 um 19:18 schrieb Manuel Pégourié-Gonnard: >> but the problem seems to persist after the latest batch of updates. >> > It looks like it will take some time for the catalogue information to be > included in tlcontrib packages, so I added a workaround in texdoc's config file > for now. Thanks.