Fixing debian-reference links on www.d.o

[Frank Lin PIAT <fpiat@klabs.be>]

Hello,

The URL for developers-reference changed (I don't know when).

Please find a smart_change script attached to fix the links:
* URL /doc/manuals/developers-reference : drop "/manuals"
* page names: "ch-" prefix was dropped
* anchors: "s-" prefix was dropped.

Thanks,

Franklin

Attachment: smart.sh
Description: application/shellscript