EXTRA_DIST = \
	header.txt \
	header2.txt \
	tests.txt

distclean: clean
	/bin/rm -f Makefile