From ffd9b12fe9e279fa896fc7e89d4f4d26c260ddfc Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Thu, 6 Jun 2019 11:22:09 +0200
Subject: Update copyright years outside of headers.

These were found with the following command:
$ git grep "1999-" | grep -v "2019"
---
 doc/sphinx/conf.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/sphinx')

diff --git a/doc/sphinx/conf.py b/doc/sphinx/conf.py
index 5aeaba9f3a..867a19efe5 100755
--- a/doc/sphinx/conf.py
+++ b/doc/sphinx/conf.py
@@ -108,7 +108,7 @@ master_doc = "index"
 
 # General information about the project.
 project = 'Coq'
-copyright = '1999-2018, Inria'
+copyright = '1999-2019, Inria, CNRS and contributors'
 author = 'The Coq Development Team'
 
 # The version info for the project you're documenting, acts as replacement for
-- 
cgit v1.2.3