Processing commands for control@bugs.debian.org: > retitle 7890 [AMENDMENT] Policy manual contradicts itself about including docs Bug#7890: Policy manual contradicts itself about including docs or not. Changed bug title. > thanks Stopping processing here. Please contact me if you need assistance. Ian Jackson (administrator, Debian bugs database)