#!/usr/bin/make -f

#export DH_VERBOSE = 1

%:
	dh $@

override_dh_auto_build:
	# Check databases, so we don't fill the Debian archive with broken proofs!
	set -e ; \
	for database in *.mm ; do \
		./debian/check_database.sh $$database ; \
	done
