Manpages of libgmt-dev in Debian stretch-backports