From 9282fc98992b21210f6bf29cd7e0aa13a6b03afa Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Wed, 6 Jul 2016 09:21:19 +0200
Subject: [PATCH] [Makefile] Removed unused  code from uninstall target

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

diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 0317ef7fe20..c9ecd6a7673 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -358,8 +358,6 @@ uninstall::
 	      $(FRAMAC_DATADIR)/manuals/e-acsl-implementation.pdf \
 	      $(FRAMAC_DATADIR)/manuals/e-acsl-manual.pdf
 	$(PRINT_RM) E-ACSL libraries
-	$(PRINT_INSTALL) E-ACSL share files
-	$(MKDIR) $(FRAMAC_DATADIR)/e-acsl
 	$(RM) $(LIBDIR)/$(JEMALLOC_LIBNAME)
 	$(RM) $(LIBDIR)/$(GMP_LIBNAME)
 	$(PRINT_RM) E-ACSL scripts
-- 
GitLab