diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 0317ef7fe20b5bd920126b72e2a7a6018ab8a76b..c9ecd6a76732c8cf02c431acbf1760addfc04f09 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