X-Git-Url: https://git.hcoop.net/bpt/coccinelle.git/blobdiff_plain/b1b2de814d2c59af2526bc19d41bb22a0c1fd16d..9f8e26f459677a621822918b7539ae94214621ac:/install.txt

diff --git a/install.txt b/install.txt
index 8156c5f..619665b 100644
--- a/install.txt
+++ b/install.txt
@@ -16,12 +16,23 @@ Then simply type
  make
  make install
 
-Note:	'make' will compile the bytecode version by default.
-	You could use 'make all.opt' to have the optimized version.
-	If you compile both, 'make install' will take care of that
-	and install both, spatch and spatch.opt.
-	If you use only one of them, 'make install' will install
-	the one you have compiled, either spatch ou spatch.opt,
-	under the front-end spatch. You could use 'make world' to
-	compile the bytecode and the native code version.
 
+
+
+
+'make' will compile the bytecode version by default.
+You could use 'make all.opt' to have the optimized version.
+If you compile both, 'make install' will take care of that
+and install both, spatch and spatch.opt.
+If you use only one of them, 'make install' will install
+the one you have compiled, either spatch ou spatch.opt,
+under the front-end spatch. You could use 'make world' to
+compile the bytecode and the optimized code version.
+
+We provide the files generated by menhir in the tarball.
+However, 'make distclean' will remove them. You could
+either restore them from the tarball or install menhir.
+Using 'make clean' should be safe with regards to these files.
+
+Note: The test target is intended for developers. In particular,
+	you should not expect that every test will pass.