From acbb6156c0bc00153ae325805705cf4bc91836de Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Fri, 25 Jun 2021 10:13:09 +0200
Subject: [PATCH] fix reference to path.mk

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 2cbd5c8d0..7246a021f 100644
--- a/Makefile
+++ b/Makefile
@@ -15,7 +15,7 @@ help::
 	@echo "- 'make clean': clean all analyses"
 	@echo ""
 	@echo "*** USAGE WITH FRAMA-C INSTALLED IN THE PATH"
-	@echo "- delete 'frama-c-path.mk' or comment its lines"
+	@echo "- delete 'path.mk' or comment its lines"
 
 # Note: if the user runs `make framac` before `make submodules`, the latter
 # will fail.
-- 
GitLab