Do not install the demos, and fix the run target

andersfugmann · andersfugmann · commit 963df4bd493c · 2021-01-29T10:18:19.000+01:00
diff --git a/Makefile b/Makefile
@@ -8,7 +8,7 @@ uninstall:
 	dune uninstall
 
 run:
-	dune run
+	dune build @run
 
 doc:
 	dune build @doc
diff --git a/demos/basic/dune b/demos/basic/dune
@@ -1,6 +1,5 @@
 (executable
  (name basic)
- (public_name opencv.basic)
  (libraries owl opencv)
 )
 
diff --git a/demos/reuse/dune b/demos/reuse/dune
@@ -1,6 +1,5 @@
 (executable
  (name reuse)
- (public_name opencv.reuse)
  (libraries owl opencv)
 )
 
