clean:
	rm -f cat1/* whatis