diff --git a/Makefile b/Makefile index 2cbd5c8d00e60f2b30e35ed772b90ecebeb5a309..7246a021f9cb5c13608ba639cc1360f122e2508e 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.