# HG changeset patch
# User Denis Laxalde <denis@laxalde.org>
# Date 1571337182 -7200
# Node ID ddfc0b16c9d76b2e66ef59e14edb9c27ef9e8d91
# Parent  7ddb17901934baee3e078ad9105784fe1e3386c6
debian: make it possible to by-pass doc build

diff -r 7ddb17901934 -r ddfc0b16c9d7 debian/rules
--- 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