Manpages of src:config-package-dev in Debian jessie