changeset 4911:ddfc0b16c9d7 stable

debian: make it possible to by-pass doc build
author Denis Laxalde <denis@laxalde.org>
date Thu, 17 Oct 2019 20:33:02 +0200
parents 7ddb17901934
children 43e9bb4de6b5
files debian/rules
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/debian/rules	Tue Oct 15 11:39:58 2019 +0200
+++ b/debian/rules	Thu Oct 17 20:33:02 2019 +0200
@@ -4,10 +4,12 @@
 %:
 	dh $@ --with python2,sphinxdoc --buildsystem=pybuild
 
+ifeq (,$(filter nodoc, $(DEB_BUILD_OPTIONS)))
 override_dh_auto_build:
 	dh_auto_build
 	# Workaround for Sphinx in Debian Buster defaulting to Python 3
 	SPHINXBUILD="python -m sphinx -bhtml" $(MAKE) -C docs
+endif
 
 hgsrc_defined:
 	# Use "! -z" instead of "-n", because "-n" without arguments is true