should "doc-xxx" packages go into /usr/doc/xxx or /usr/doc/doc-xxx ? only a suggestion to think about. andreas -- E-mail the word "unsubscribe" to debian-devel-request@lists.debian.org TO UNSUBSCRIBE FROM THIS MAILING LIST. Trouble? E-mail to listmaster@debian.org .