From 1dccebda2d0ee8748b87b67d52a971930ca6578f Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Wed, 3 Oct 2018 13:45:05 +0200
Subject: [PATCH] [makefile] minor change

---
 src/plugins/e-acsl/Makefile.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 1414884163f..f4bd5b049f4 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -433,7 +433,7 @@ uninstall::
 	$(RM) $(LIBDIR)/libeacsl-*.a
 	$(PRINT_RM) E-ACSL scripts
 	$(RM) $(BINDIR)/e-acsl-gcc.sh
-	$(PRINT_RM) man pages
+	$(PRINT_RM) E-ACSL man pages
 	$(RM) $(MANDIR)/man1/e-acsl-gcc.sh.1
 
 ####################
-- 
GitLab