[Pkg-openmpi-maintainers] Bug#634899: bug in dh_installdocs

[Jean-Louis Dupond]

Package: openmpi
Version: 1.4.3-2.1
Severity: whishlist

Package fails to build on Ubuntu due to a bug in debian/rules.
The db_installdocs are twice called with --all, which shouldn't be the case.

This can be fixed with the following patch:
diff -u openmpi-1.4.3/debian/rules openmpi-1.4.3/debian/rules
--- openmpi-1.4.3/debian/rules
+++ openmpi-1.4.3/debian/rules
@@ -154,7 +154,7 @@
  	dh_testdir -i
  	dh_testroot -i
  	dh_installchangelogs  -i
-	dh_installdocs --all AUTHORS NEWS README
+	dh_installdocs -i AUTHORS NEWS README
  	dh_installexamples -popenmpi-doc examples/*
  	dh_installman -i
  	dh_link -i
@@ -172,7 +172,7 @@
  	dh_testdir -a
  	dh_testroot -a
  	dh_installchangelogs  -a
-	dh_installdocs --all AUTHORS NEWS README
+	dh_installdocs -a AUTHORS NEWS README
  	dh_installexamples -a
  	dh_installman -a
  	dh_link -a