From 2794d97e444aff75368c807c7773d138568839e7 Mon Sep 17 00:00:00 2001
From: notin
Date: Thu, 7 Aug 2008 22:33:08 +0000
Subject: Suite commit #11311

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11321 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile.doc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.doc b/Makefile.doc
index eb7f289c53..9d46ea71e5 100644
--- a/Makefile.doc
+++ b/Makefile.doc
@@ -222,7 +222,7 @@ install-doc: install-doc-meta install-doc-html install-doc-printable
 
 install-doc-meta:
 	$(MKDIR) $(FULLDOCDIR)
-	$(INSTALLLIB) doc/LICENCE $(FULLDOCDIR)/LICENCE.doc
+	$(INSTALLLIB) doc/LICENSE $(FULLDOCDIR)/LICENSE.doc
 
 install-doc-html: doc-html
 	$(MKDIR) $(addprefix $(FULLDOCDIR)/html/, refman stdlib faq)
-- 
cgit v1.2.3