Manpages of libpth-dev in Debian jessie