EXTRA_DIST = \
	pycheckerrc \
	header.py \
	morituri-uninstalled \
	show-coverage.py