Processing commands for control@bugs.debian.org: > tag 91086 + fixed Bug#91086: man page in /usr/man should move to /usr/share/man Tags added: fixed > tag 91729 + fixed Bug#91729: Package xringd still has at least one file in /usr/doc Tags added: fixed > quit Stopping processing here. Please contact me if you need assistance. Darren Benham (administrator, Debian Bugs database)