diff --git a/README.md b/README.md
new file mode 100644
index 0000000000000000000000000000000000000000..50acdeb5bdc3334d7e162038eac334c4c3a2ff5e
--- /dev/null
+++ b/README.md
@@ -0,0 +1,22 @@
+(* OASIS_START *)
+(* DO NOT EDIT (digest: 7018be8ddc148ce8fff24df3fef8d341) *)
+
+lustre-v6 - The Lustre V6 Verimag compiler
+==========================================
+
+This package contains: (1) lus2lic: the (current) name of the compiler (and
+interpreter via -exec). (2) the lustre-v6 ocaml lib: allows to call the
+Lustre v6 interpreter ocaml
+
+See the file [INSTALL.txt](INSTALL.txt) for building and installation
+instructions.
+
+[Home page](http://www-verimag.imag.fr/lustre-v6.html)
+
+Copyright and license
+---------------------
+
+lustre-v6 is distributed under the terms of the Proprietary license, all
+rights reserved.
+
+(* OASIS_STOP *)
diff --git a/src/mli_save/compile.mli b/src/compile.mli
similarity index 100%
rename from src/mli_save/compile.mli
rename to src/compile.mli