From: Stephane Glondu <steph@glondu.net>
Date: Thu, 13 Jul 2017 08:42:05 +0000 (+0200)
Subject: Tell dh_installdocs to ignore README.Debian (see #868204)
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~3^2~33^2~1
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=197b97907b8418b5a6621fff1e159e574aac993e;p=ocaml.git

Tell dh_installdocs to ignore README.Debian (see #868204)
---

diff --git a/debian/rules b/debian/rules
index 438b0d0c..b54423ab 100755
--- a/debian/rules
+++ b/debian/rules
@@ -295,3 +295,7 @@ ifeq (,$(DEB_TEST_BUILD_PREFIX))
 	cd testsuite && make all
 endif
 endif
+
+.PHONY: override_dh_installdocs
+override_dh_installdocs:
+	dh_installdocs --ignore debian/README.Debian