Manpages of src:octave-pkg-dev in Debian stretch