all:
	dune build

clean:
	dune clean
	rm -f *~ src/*~ issues/*~
