diff --git a/src/plugins/eva/Eva.header b/src/plugins/eva/Eva.header
index 61ed1ae7e5e7fd4e7e9f70a98d8d2752ff3b2009..4976cba0a115437862d21e95989fb39c206b2319 100644
--- a/src/plugins/eva/Eva.header
+++ b/src/plugins/eva/Eva.header
@@ -19,3 +19,20 @@
 (*  for more details (enclosed in the file licenses/LGPLv2.1).            *)
 (*                                                                        *)
 (**************************************************************************)
+
+(** Eva public API.
+
+    The main modules are:
+    - Analysis: run the analysis.
+    - Results: access analysis results, especially the values of expressions
+      and memory locations of lvalues at each program point.
+
+    The following modules allow configuring the Eva analysis:
+    - Parameters: change the configuration of the analysis.
+    - Eva_annotations: add local annotations to guide the analysis.
+    - Builtins: register ocaml builtins to be used by the cvalue domain
+      instead of analysing the body of some C functions.
+
+    Other modules are for internal use only. *)
+
+(* This file is generated. Do not edit. *)
diff --git a/src/plugins/eva/gen-api.sh b/src/plugins/eva/gen-api.sh
index 8fc55cd2108307d3502fb6ed421a829ff4b3ba6d..2ce5c9b97aaa867602d723687c7ef56aaa40d40d 100755
--- a/src/plugins/eva/gen-api.sh
+++ b/src/plugins/eva/gen-api.sh
@@ -29,23 +29,6 @@ dir=$(dirname $0)
 
 cat $dir/Eva.header >> Eva.mli
 
-printf '\n(** Eva public API.
-
-    The main modules are:
-    - Analysis: run the analysis.
-    - Results: access analysis results, especially the values of expressions
-      and memory locations of lvalues at each program point.
-
-    The following modules allow configuring the Eva analysis:
-    - Parameters: change the configuration of the analysis.
-    - Eva_annotations: add local annotations to guide the analysis.
-    - Builtins: register ocaml builtins to be used by the cvalue domain
-      instead of analysing the body of some C functions.
-
-    Other modules are for internal use only. *)\n' >> Eva.mli
-
-printf '\n(* This file is generated. Do not edit. *)\n' >> Eva.mli
-
 for i in "$@"
 do
     if [[ ! "$i" =~ [.]header$ ]]; then