diff options
| author | Clément Pit-Claudel | 2018-05-18 15:35:22 -0400 |
|---|---|---|
| committer | Théo Zimmermann | 2018-09-20 10:12:55 +0200 |
| commit | a58c64d545bcfe7d24554575f1ac1b80afe78806 (patch) | |
| tree | 95aad52e4890cf1c08b0ba1ff21d6af1416f9fcc | |
| parent | 6ae1a2df419db8f44e11f5c5d4bb5e387d290a64 (diff) | |
[doc] Change the name that appears on the first page of the PDF manual
| -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 143309fab5..d820944301 100755 --- a/doc/sphinx/conf.py +++ b/doc/sphinx/conf.py @@ -106,7 +106,7 @@ def setup(app): master_doc = "index" # General information about the project. -project = 'Coq' +project = 'The Coq Reference Manual' copyright = '1999-2018, Inria' author = 'The Coq Development Team' |