1 files changed, 1 insertions, 1 deletions
diff --git a/doc/common/title.tex b/doc/common/title.tex
index 1dc52432..809b1046 100755
--- a/doc/common/title.tex
+++ b/doc/common/title.tex
@@ -45,7 +45,7 @@ V\coqversion, \today
 %END LATEX
 \copyright INRIA 1999-2004 ({\Coq} versions 7.x)
 
-\copyright INRIA 2004-2009 ({\Coq} versions 8.x)
+\copyright INRIA 2004-2012 ({\Coq} versions 8.x)
 
 #3
 \end{flushleft}