3 files changed, 3 insertions, 5 deletions
diff --git a/doc/common/styles/html/coqremote/cover.html b/doc/common/styles/html/coqremote/cover.html
index 5d151381ff..b7c83bd2f9 100644
--- a/doc/common/styles/html/coqremote/cover.html
+++ b/doc/common/styles/html/coqremote/cover.html
@@ -52,7 +52,7 @@
 <h2 style="text-align:center; font-size: 150%">The Coq Development Team</h2>
 <br /><br /><br />
 
-<p style="text-indent:0pt">Copyright © INRIA 1999-2017</p>
+<p style="text-indent:0pt">Copyright © 1999-2019, Inria, CNRS and contributors</p>
 
 <p style="text-indent:0pt">This material may be distributed only subject to the terms and conditions set forth in the Open Publication License, v1.0 or later (the latest version is presently available at <a href="http://www.opencontent.org/openpub">http://www.opencontent.org/openpub</a>). Options A and B are not elected.</p>
 
diff --git a/doc/common/styles/html/simple/cover.html b/doc/common/styles/html/simple/cover.html
index 6053131045..28ce2eb087 100644
--- a/doc/common/styles/html/simple/cover.html
+++ b/doc/common/styles/html/simple/cover.html
@@ -30,7 +30,7 @@
 <br /><br /><br />
 
 
-<p style="text-indent:0pt">Copyright © INRIA 1999-2017</p>
+<p style="text-indent:0pt">Copyright © 1999-2019, Inria, CNRS and contributors</p>
 
 <p style="text-indent: 0pt">This material may be distributed only subject to the terms and conditions set forth in the Open Publication License, v1.0 or later (the latest version is presently available at <a href="http://www.opencontent.org/openpub">http://www.opencontent.org/openpub</a>). Options A and B are not elected.</p>
 
diff --git a/doc/common/title.tex b/doc/common/title.tex
index 76e50f65d2..2a104a87e6 100644
--- a/doc/common/title.tex
+++ b/doc/common/title.tex
@@ -43,9 +43,7 @@ $\pi r^2$ Project (formerly LogiCal, then TypiCal)
 V\coqversion, \today
 \par\vspace{20pt}
 %END LATEX
-\copyright INRIA 1999-2004 ({\Coq} versions 7.x)
-
-\copyright INRIA 2004-2017 ({\Coq} versions 8.x)
+\copyright 1999-2019, Inria, CNRS and contributors
 
 #3
 \end{flushleft}