1 files changed, 8 insertions, 0 deletions
diff --git a/INSTALL b/INSTALL
index d7397e8..9a98d71 100644
--- a/INSTALL
+++ b/INSTALL
@@ -1,3 +1,11 @@
+Copyright (C) INRIA 2003, 2005, 2007, 2008, 2009, 2010, 2011
+
+Copying and distribution of this file, with or without modification,
+are permitted in any medium without royalty provided the copyright
+notice and this notice are preserved. This file is offered as-is,
+without any warranty.
+
+
                         Installing MPC
                         ==============