> BTW, why is /usr/doc/vga16 named /usr/doc/vga16 and not Go ahead and report it as a bug... -- TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to debian-devel-request@lists.debian.org . Trouble? e-mail to templin@bucknell.edu .