Robuta

https://lists.debian.org/debian-doc/2012/08/msg00042.html Re: Do we still need to mention the "Debian Packagint Manual" in /doc/devel-manuals ?