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. Cheers, Bill.