# build documentation
$(MAKE) -C doc/reST pickle html man
+ifneq (arm, $(shell dpkg-architecture -qDEB_HOST_GNU_CPU))
override_dh_auto_test:
$(builddir)/test/TestBench
+endif
override_dh_install:
dh_install --list-missing --sourcedir=$(CURDIR)/debian/install