From bd314da41f597a106c518c145257f1c49be37195 Mon Sep 17 00:00:00 2001 From: Thomas Goirand Date: Fri, 30 Sep 2016 19:33:55 +0000 Subject: [PATCH] Removed man page thing, as there's none upstream. --- debian/rules | 6 ------ 1 file changed, 6 deletions(-) diff --git a/debian/rules b/debian/rules index 7d672f7..b01ee66 100755 --- a/debian/rules +++ b/debian/rules @@ -39,12 +39,6 @@ endif override_dh_auto_install: echo "Please do nothing" -override_dh_installman: -ifeq (,$(findstring nodocs, $(DEB_BUILD_OPTIONS))) - sphinx-build $(SPHINXOPTS) -b man doc/source doc/build/man - dh_installman -O--buildsystem=python_distutils -endif - override_dh_sphinxdoc: ifeq (,$(findstring nodocs, $(DEB_BUILD_OPTIONS))) echo "No doc for now."