diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 0bc9af91e2098d30a153c5923c5fb0b24f1ae079..44da0673f73747236004170c90294f903cf1a3f4 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -72,7 +72,7 @@ endif
 install::
 	$(PRINT_CP) E-ACSL share files
 	$(MKDIR) $(FRAMAC_SHARE)/e-acsl
-	$(CP) $(PLUGIN_DIR)/share/e-acsl/* $(FRAMAC_SHARE)/e-acsl
+	$(CP) $(E_ACSL_DIR)/share/e-acsl/* $(FRAMAC_SHARE)/e-acsl
 
 uninstall::
 	$(PRINT_RM) E-ACSL share files