diff --git a/src/kernel_services/plugin_entry_points/log.ml b/src/kernel_services/plugin_entry_points/log.ml
index e7bc30058f83198965a9eedca5778345b28653c4..2895345c468ab69cf4ec5ae8c785cd7c2ae5aacc 100644
--- a/src/kernel_services/plugin_entry_points/log.ml
+++ b/src/kernel_services/plugin_entry_points/log.ml
@@ -1270,9 +1270,3 @@ struct
       label Format.(pp_print_list ~pp_sep:pp_print_cut print_one_elt) l
 
 end
-
-(*
-Local Variables:
-compile-command: "make -C ../../.."
-End:
-*)
diff --git a/src/kernel_services/plugin_entry_points/log.mli b/src/kernel_services/plugin_entry_points/log.mli
index bff4b4c1ddd96304bec45c0f9c3d830746ee12a3..581cbf3f481f1b3c9763371dbee9ed7cf770fb1d 100644
--- a/src/kernel_services/plugin_entry_points/log.mli
+++ b/src/kernel_services/plugin_entry_points/log.mli
@@ -512,11 +512,3 @@ val treat_deferred_error: unit -> unit
    - after each analysis step (as separated by -then and its derivatives),
      including the last one.
 *)
-
-(**/**)
-
-(*
-Local Variables:
-compile-command: "make -C ../../.."
-End:
-*)
diff --git a/src/kernel_services/plugin_entry_points/plugin.ml b/src/kernel_services/plugin_entry_points/plugin.ml
index 6b8cb5198259983f2495a8dc889f9cb3060201aa..0175888fb308d4cb2a57004102f5612c1e07a299 100644
--- a/src/kernel_services/plugin_entry_points/plugin.ml
+++ b/src/kernel_services/plugin_entry_points/plugin.ml
@@ -778,9 +778,3 @@ struct
   include Plugin_log
 
 end (* Register *)
-
-(*
-Local Variables:
-compile-command: "make -C ../../.."
-End:
-*)
diff --git a/src/kernel_services/plugin_entry_points/plugin.mli b/src/kernel_services/plugin_entry_points/plugin.mli
index ead0e265436204b8c0ca83908914de35f928c6b3..eb764eed432cab27899d2ddbd1b641e6bb596e0b 100644
--- a/src/kernel_services/plugin_entry_points/plugin.mli
+++ b/src/kernel_services/plugin_entry_points/plugin.mli
@@ -198,11 +198,3 @@ val config_ref: (unit -> Filepath.Normalized.t) ref
 
 val state_is_set_ref: (unit -> bool) ref
 val state_ref: (unit -> Filepath.Normalized.t) ref
-
-(**/**)
-
-(*
-Local Variables:
-compile-command: "make -C ../../.."
-End:
-*)