Bug#1090997: debbugsconfig depends on /usr/share/doc/debbugs/

On Sun, Dec 22, 2024 at 12:43:25AM +0100, Bill Allombert wrote:
> Package: debbugs
> Version: 2.6.3
> Severity: normal
> 
> Hello Don,
> 
> debbugsconfig does 
>   system("cp /usr/share/doc/debbugs/examples/$name $destdir/$name") == 0
> 
> However policy prohibit packages to depend on the content of 
> /usr/share/doc/, so the part of /usr/share/doc/debbugs/examples/ used by
> debbugsconfig should probably be moved to /usr/share/debbugs/examples.
> 
> This would also fix the issue that file in /usr/share/doc/ are sometime
> compressed.

Hello Don, 
Do you have a preference how to fix this bug ?

Cheers,