1 files changed, 9 insertions, 1 deletions

diff --git a/Makefile b/Makefile
index b6fbb62bff..4c9b546b6a 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,13 @@
+#######################################################################
+#  v      #   The Coq Proof Assistant  /  The Coq Development Team    #
+# <O___,, #        INRIA-Rocquencourt  &  LRI-CNRS-Orsay              #
+#   \VV/  #############################################################
+#    //   #      This file is distributed under the terms of the      #
+#         #       GNU Lesser General Public License Version 2.1       #
+#######################################################################
+
+# $Id$ 
 
-###########################################################################
 # Makefile for Coq
 #
 # To be used with GNU Make.