Manpages of libvdk2-dev in Debian wheezy