EXTRA_DIST = \
	pkcs11-coverage.py \
	pkcs11-coverage.txt

coverage:
	python pkcs11-coverage.py > pkcs11-coverage.txt