diff options
| author | Théo Zimmermann | 2019-06-06 11:22:09 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-06-17 18:08:33 +0200 |
| commit | ffd9b12fe9e279fa896fc7e89d4f4d26c260ddfc (patch) | |
| tree | b1a999a1ad46f97b870dfa14bd9d978369e54e8c /doc/sphinx | |
| parent | 2ec2affa73720746bef37e8b1f0ce98f257cb302 (diff) | |
Update copyright years outside of headers.
These were found with the following command:
$ git grep "1999-" | grep -v "2019"
Diffstat (limited to 'doc/sphinx')
| -rwxr-xr-x | doc/sphinx/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
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 |