keccak.inc: keccak.py
	./keccak.py > keccak.inc