From d24c5465cca44523085919c5b2ae691fe4f0bb36 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Sun, 11 Mar 2018 14:45:47 +0100
Subject: [Sphinx] Update some metadata

---
 doc/sphinx/conf.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'doc')

diff --git a/doc/sphinx/conf.py b/doc/sphinx/conf.py
index cfca4ca651..3631298722 100755
--- a/doc/sphinx/conf.py
+++ b/doc/sphinx/conf.py
@@ -10,7 +10,7 @@
 ##         #     (see LICENSE file for the text of the license)         ##
 ##########################################################################
 #
-# Coq 8.5 documentation build configuration file, created by
+# Coq documentation build configuration file, created by
 # sphinx-quickstart on Wed May 11 11:23:13 2016.
 #
 # This file is execfile()d with the current directory set to its
@@ -67,7 +67,7 @@ master_doc = 'index'
 
 # General information about the project.
 project = 'Coq'
-copyright = '2016, Inria'
+copyright = '1999-2018, Inria'
 author = 'The Coq Development Team'
 
 # The version info for the project you're documenting, acts as replacement for
-- 
cgit v1.2.3