gnu: Add patches missing from dist_patch_DATA.
authorBen Woodcroft <donttrustben@gmail.com>
Mon, 17 Jul 2017 08:53:08 +0000 (18:53 +1000)
committerBen Woodcroft <donttrustben@gmail.com>
Wed, 19 Jul 2017 22:51:56 +0000 (08:51 +1000)
commitca8fb248de152a2f895d43cd1023b5a940215caa
treef1f314f168184f48092795f818f569866357052f
parentdc05f6523eb424bfeb4ddd2bf157232b4a72ca77
gnu: Add patches missing from dist_patch_DATA.

Reported by Eric Bavier.

* gnu/local.mk (dist_patch_DATA): Add
gnu/packages/patches/hmmer-remove-cpu-specificity.patch,
gnu/packages/patches/jacal-fix-texinfo.patch,
gnu/packages/patches/python-pbr-fix-man-page-support.patch and
gnu/packages/patches/vsearch-unbundle-cityhash.patch.
gnu/local.mk