Coccinelle release 1.0.0-rc12

[bpt/coccinelle.git] / menhirlib / readme.txt

diff --git a/menhirlib/readme.txt b/menhirlib/readme.txt
deleted file mode 100644 (file)
index 09068aa..0000000
--- a/menhirlib/readme.txt
+++ /dev/null
@@ -1,7 +0,0 @@
-To make it easier to install coccinelle, to not have to bother about
-where some of menhir object files are, we simply have copied some
-files from the menhir distribution. Those files are needed for the
-parsers generated with the --table menhir option. The files in this
-directory are thus copyrighted by the menhir authors, François Pottier
-and Yann Régis-Gianas, and covered by the GNU Library General Public
-License version 2.