Processed: Re: Bug#373868: tetex-doc: texdoctk can't find documentation files
Processing commands for control@bugs.debian.org:
> reassign 373868 tetex-base
Bug#373868: tetex-doc: texdoctk can't find documentation files
Bug reassigned from package `tetex-doc' to `tetex-base'.
> merge 373868 372715
Bug#372715: tetex-base: texdoctk does not find documents
Bug#373868: tetex-doc: texdoctk can't find documentation files
Merged 372715 373868.
> thanks
Stopping processing here.
Please contact me if you need assistance.
Debian bug tracking system administrator
(administrator, Debian Bugs database)
Reply to: