From 2eea4d7cd1c80ef9d154e4bec3ea0fcc3d6d9238 Mon Sep 17 00:00:00 2001
From: Gilles Legoux <g.legoux@criteo.com>
Date: Mon, 9 Oct 2023 09:30:45 +0200
Subject: [PATCH] Update Makefile

---
 Makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Makefile b/Makefile
index e3ac50e..281992f 100644
--- a/Makefile
+++ b/Makefile
@@ -1,3 +1,5 @@
+# See https://www.gnu.org/software/make/manual/make.html
+
 SHELL = /usr/bin/env bash
 
 # environment