From 73f1c7c63d6743e62da0afcc33a5476009996ea3 Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau
Date: Wed, 23 Aug 2017 14:00:10 +0200
Subject: Update coypright dates on documentation

---
 doc/common/title.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/common')

diff --git a/doc/common/title.tex b/doc/common/title.tex
index 0e072b6b65..76e50f65d2 100644
--- 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-2016 ({\Coq} versions 8.x)
+\copyright INRIA 2004-2017 ({\Coq} versions 8.x)
 
 #3
 \end{flushleft}
-- 
cgit v1.2.3