From a58c64d545bcfe7d24554575f1ac1b80afe78806 Mon Sep 17 00:00:00 2001
From: Clément Pit-Claudel
Date: Fri, 18 May 2018 15:35:22 -0400
Subject: [doc] Change the name that appears on the first page of the PDF
 manual

---
 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 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'
 
-- 
cgit v1.2.3