From c834e87df59465293a152a2f901e83aff871018f Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Wed, 19 Feb 2020 22:24:38 +0100
Subject: Update copyright in refman to year 2020.

---
 doc/sphinx/conf.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/sphinx/conf.py b/doc/sphinx/conf.py
index f1dd7479c5..77cb3ecc21 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-2019, Inria, CNRS and contributors'
+copyright = '1999-2020, 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