On 11.07.12 Debian Bug Tracking System (owner@bugs.debian.org) wrote: Hi, > this bug is about improving texdoctk. However, the texdoc script is no > longer developed, and texdoc is a usable replacement. > > It doesn't make sense to keep a wishlist bug open for a legacy script, > therefore closing. > Then please close #327341 too. H. -- sigmentation fault