Update Makefile

criteo · Oct 9, 2023 · 2eea4d7 · 2eea4d7
1 parent 61218a2
commit 2eea4d7
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -1,3 +1,5 @@
+# See https://www.gnu.org/software/make/manual/make.html
+
 SHELL = /usr/bin/env bash
 
 # environment