David Bühler authored 2 years ago and Allan Blanchard committed 2 years ago

This is more coherent with `dune install --prefix` option and other targets
`make install` in doc and ivette Makefiles.