Processed: Bug#106073: recommend to install <package> documentation into /usr/share/doc/<package>/

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

Processing commands for control@bugs.debian.org:

> package debian-policy
Limiting to bugs with field 'package' containing at least one of 'debian-policy'
Limit currently set to 'package':'debian-policy'

> retitle 106073 recommend to install additional documentation into /usr/share/doc/<package>/
Bug #106073 [debian-policy] Separate doc packages should not put docs in /usr/share/doc/package-doc
Changed Bug title to 'recommend to install additional documentation into /usr/share/doc/<package>/' from 'Separate doc packages should not put docs in /usr/share/doc/package-doc'
> tags 106073 + patch
Bug #106073 [debian-policy] recommend to install additional documentation into /usr/share/doc/<package>/
Added tag(s) patch.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
106073: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=106073
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems