Processed: Re: Bug#400058: texdoctk does not find any documentation

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> clone 400058 -1
Bug#400058: texdoctk does not find any documentation
Bug 400058 cloned as bug 401930.

> reassign -1 texlive-base-bin
Bug#401930: texdoctk does not find any documentation
Bug reassigned from package `tetex-bin' to `texlive-base-bin'.

> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)