[Eva] Moves the opening comment of Eva.mli into the Eva.header file.

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. *)

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