Bug#467102: 5.9.3: when renaming a package, new name should also PROVIDE old name

[LI Daobing <lidaobing@gmail.com>]

Package: developers-reference
Severity: normal

--- Please enter the report below this line. ---
Hello,

in the first paragraph of Debian Developer's Reference 5.9.3[1]. I think the 
new name should also provide the obsolete name, it should be changed to [2].

Thanks.

[1]
When you make a mistake naming your package, you should follow a two-step 
process to rename it. First, set your debian/control file to replace and 
conflict with the obsolete name of the package (see the Debian Policy Manual 
for details). // snip

[2]
When you make a mistake naming your package, you should follow a two-step 
process to rename it. First, set your debian/control file to replace, 
conflict with and provide the obsolete name of the package (see the Debian 
Policy Manual for details). // snip

--- System information. ---
Architecture: i386
Kernel:       Linux 2.6.22-686-lustre

Debian Release: lenny/sid
  500 unstable        192.168.51.86 

--- Package information. ---
Depends       (Version) | Installed
=======================-+-===========
                        |