Mark all targets in the makefile as phony

Anders Fugmann · Anders Fugmann · commit ea9f1f852fe7 · 2021-01-28T22:46:34.000+01:00
diff --git a/.gitignore b/.gitignore
@@ -11,4 +11,4 @@ __pycache__
 
 core
 vgcore.*
-*opam
+*.opam
diff --git a/Makefile b/Makefile
@@ -12,3 +12,5 @@ run:
 
 doc:
 	dune build @doc
+
+.PHONY: build install uninstall run doc

-Original file line number
+Diff line change
 core
 vgcore.*
 -*opam
 +*.opam