From 2a795eabfa217b39375b7b16d158aff4df62860d Mon Sep 17 00:00:00 2001
From: Giovanni Bussi <giovanni.bussi@gmail.com>
Date: Thu, 16 Jan 2020 11:57:33 +0100
Subject: [PATCH] Fixed log text

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

diff --git a/vim/Makefile b/vim/Makefile
index cd92be4a1..87f537d00 100644
--- a/vim/Makefile
+++ b/vim/Makefile
@@ -10,7 +10,7 @@ plumed_compiled := $(wildcard ../src/lib/plumed)
 ifeq ($(strip $(plumed_compiled)),)
 
 all:
-	@echo You must compile plumed before building the user manual
+	@echo You must compile plumed before building the VIM syntax file
 
 else
 
-- 
GitLab