jsonm source package does not build

[Jason Gross]

Hi,

I am trying to backport the jsonm package with backportpackage, but the source package does not build; it fails with

make[1]: Entering directory `/<<PKGBUILDDIR>>'
dh_install --fail-missing
make[1]: Leaving directory `/<<PKGBUILDDIR>>'
   dh_ocamldoc -a
   dh_installdocs -a
cp: cannot stat ‘README’: No such file or directory
dh_installdocs: cp -a README debian/libjsonm-ocaml-dev/usr/share/doc/libjsonm-ocaml-dev returned exit code 1
make: *** [binary-arch] Error 2
dpkg-buildpackage: error: fakeroot debian/rules binary-arch gave error exit status 2

See https://launchpadlibrarian.net/395160938/buildlog_ubuntu-trusty-amd64.jsonm_1.0.1-1~ubuntu14.04.1~ppa4_BUILDING.txt.gz for a full log.

I created this package via

   backportpackage -y -u ppa:jgross-h/coq-master-daily jsonm -d trusty -S "~ppa4" -s cosmic

[Andreas Moog (ampelbein)]

Should be fixed with 1.0.1-2, scheduled to be included in disco.