#! /usr/bin/make -f

%:
	dh $@

override_dh_auto_configure:
	dh_auto_configure -- --enable-distribution=debian-stretch

override_dh_installman:
	dh_installman
	# Remove intro.{2,3} manpages from manpages-de-dev,
	# they are included in manpages-de
	rm -f debian/manpages-de-dev/usr/share/man/de/man2/intro.2
	rm -f debian/manpages-de-dev/usr/share/man/de/man3/intro.3
