From c997ea9095ddae344fe6c9035f713e5ae7af5985 Mon Sep 17 00:00:00 2001 From: Michael Zanetti Date: Thu, 22 Jun 2017 19:27:30 +0200 Subject: [PATCH] add docs only if nodocs is not set --- debian/rules | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/debian/rules b/debian/rules index 4074094f..9eaf86b3 100755 --- a/debian/rules +++ b/debian/rules @@ -10,6 +10,11 @@ else DEB_PARALLEL_JOBS += $(shell getconf _NPROCESSORS_ONLN) endif +MAKE_TARGETS="all" +ifneq (,$(findstring nodocs, $(DEB_BUILD_OPTIONS))) + MAKE_TARGETS += docs +endif + DPKG_EXPORT_BUILDFLAGS = 1 DEB_HOST_MULTIARCH ?= $(shell dpkg-architecture -qDEB_HOST_MULTIARCH) @@ -22,7 +27,7 @@ $(PREPROCESS_FILES:.in=): %: %.in override_dh_auto_build: - make -j$(DEB_PARALLEL_JOBS) + make -j$(DEB_PARALLEL_JOBS) $(MAKE_TARGETS) override_dh_install: $(PREPROCESS_FILES:.in=) dh_install --fail-missing