[linbox] 01/03: d/rules: support the nodoc flag of DEB_BUILD_OPTIONS.

[Sébastien Villemot]

This is an automated email from the git hooks/post-receive script.

sebastien pushed a commit to branch master
in repository linbox.

commit 489e1747024818feabdabecd1ceaec625acf6edf
Author: Sébastien Villemot <sebastien at debian.org>
Date:   Sun Aug 20 15:38:26 2017 +0200

    d/rules: support the nodoc flag of DEB_BUILD_OPTIONS.
---
 debian/changelog | 1 +
 debian/rules     | 2 ++
 2 files changed, 3 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index 40e5e2a..61038c4 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -12,6 +12,7 @@ linbox (1.4.2-5) UNRELEASED; urgency=medium
   * Bump to debhelper compat level 10.
   * Effectively skip test-charpoly on mips and mipsel. Thanks to Radovan
     Birdic for the patch. (Closes: #856356)
+  * d/rules: support the nodoc flag of DEB_BUILD_OPTIONS.
 
  -- Doug Torrance <dtorrance at piedmont.edu>  Sun, 13 Aug 2017 08:24:29 -0400
 
diff --git a/debian/rules b/debian/rules
index 39bb779..e826106 100755
--- a/debian/rules
+++ b/debian/rules
@@ -49,10 +49,12 @@ override_dh_auto_install:
 
 override_dh_auto_build-indep:
 	dh_testdir
+ifeq (,$(filter nodoc,$(DEB_BUILD_OPTIONS)))
 	$(MAKE) docs_dev
 	$(MAKE) docs
 	rm -f doc/linbox-*html/INSTALL
 	rm -f doc/linbox-*html/COPYING
+endif
 
 %:
 	dh $@

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/linbox.git