include ../Makefile-generic
-include Makefile-deps

# This copies the .cert files as they are, but doesn't get them into their
# final state.
moved/%.cert: %.cert
	cp -v $^ $@

# Certifying this one actually updates the moved/*.cert files to reflect
# their new location.
test-fix-cert0.cert: moved/test1bb.cert moved/test1bp.cert moved/test1pp.cert moved/test1pb.cert moved/test1b.cert moved/test1p.cert moved/test1.cert moved/test2.cert

# And these test that we can then include them.
test-fix-cert1.cert: test-fix-cert0.cert
test-fix-cert2.cert: test-fix-cert0.cert

clean: moved-clean

moved-clean:
	rm -f moved/*.cert
