Index: Makefile --- Makefile.orig +++ Makefile @@ -1,7 +1,10 @@ .PHONY: all clean doc all: - dune build @install + dune build + +install: + dune install clean: dune clean