Manpages of libsemanage1-dev in Debian stretch