diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2018-03-11 14:45:47 +0100 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2018-03-13 12:45:31 +0100 |
commit | d24c5465cca44523085919c5b2ae691fe4f0bb36 (patch) | |
tree | 9e5e0ecb1c5032b287bec3f9c3a63b1c6fa18d10 /doc/sphinx/conf.py | |
parent | 815bdef747f7d69f25121f42ec72d109ec92edfe (diff) |
[Sphinx] Update some metadata
Diffstat (limited to 'doc/sphinx/conf.py')
-rwxr-xr-x | doc/sphinx/conf.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/sphinx/conf.py b/doc/sphinx/conf.py index cfca4ca65..363129872 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 |