diff --git a/Makefile b/Makefile
index 28e44e621280fa1bd6faa0f4f78b7902cfc160d7..b3c71e5680d11f17f2fbe84e6f65069e6d8f30cc 100644
--- a/Makefile
+++ b/Makefile
@@ -959,7 +959,6 @@ $(eval $(call include_generic_plugin_Makefile,$(PLUGIN_NAME)))
 # Reduc #
 #########
 PLUGIN_ENABLE:=$(ENABLE_REDUC)
-PLUGIN_DYNAMIC:=$(DYNAMIC_REDUC)
 PLUGIN_NAME:=Reduc
 PLUGIN_DISTRIBUTED:=yes
 PLUGIN_DIR:=src/plugins/reduc
diff --git a/doc/developer/advance.tex b/doc/developer/advance.tex
index 906403ec31d7d23a95bc4be30992c333c53901f1..0ba7efc9921a56688c516ecc1f6014992160362e 100644
--- a/doc/developer/advance.tex
+++ b/doc/developer/advance.tex
@@ -542,7 +542,6 @@ the specific features of \texttt{Makefile.dynamic}.
 %%   into \texttt{Makefile}.
 %% \codeidx{PLUGIN\_ENABLE}
 %% \codeidx{PLUGIN\_DIR}
-%% \codeidx{PLUGIN\_DYNAMIC}
 %% \codeidx{DISTRIB\_FILES}
 %% \codeidx{@ENABLE\_$plugin$}
 %% \begin{makefilecode}
diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index cc93b4ebe1c693b6c1b6acb1f0f9724928089b4c..9cab3d4490a7dbbf97193f3e49832bd7b3991e79 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -123,7 +123,6 @@ PLUGIN_EXTRA_DIRS:=\
 	src/project_initializer \
 	src/code_generator
 PLUGIN_ENABLE:=@ENABLE_E_ACSL@
-PLUGIN_DYNAMIC:=@DYNAMIC_E_ACSL@
 PLUGIN_NAME:=E_ACSL
 PLUGIN_CMO:= src/local_config \
 	src/options \
diff --git a/src/plugins/qed/Makefile b/src/plugins/qed/Makefile
index 28b9b514946a5e54f042e614f0940898aadbc684..1e228735cfdbda735e556a1f34cd89d87b909053 100644
--- a/src/plugins/qed/Makefile
+++ b/src/plugins/qed/Makefile
@@ -41,7 +41,6 @@ endif
 # --------------------------------------------------------------------------
 
 PLUGIN_ENABLE:=yes
-PLUGIN_DYNAMIC:=yes
 PLUGIN_NAME:=Qed
 PLUGIN_CMO:= \
 	hcons \