[Python-checkins] devguide: Get rid of the redundant "documentation" in the title.

Sun Jan 23 09:16:19 CET 2011

georg.brandl pushed 2b9f28f7f3a1 to devguide:
http://hg.python.org/devguide/rev/2b9f28f7f3a1
changeset: 187:2b9f28f7f3a1
tag: tip
user: Georg Brandl <georg at python.org>
date: Sun Jan 23 09:14:37 2011 +0100
summary:
 Get rid of the redundant "documentation" in the title.
files:
 conf.py

diff --git a/conf.py b/conf.py
--- a/conf.py
+++ b/conf.py
@@ -105,7 +105,7 @@
 
 # The name for this set of Sphinx documents. If None, it defaults to
 # "<project> v<release> documentation".
-#html_title = None
+html_title = "%s %s" % (project, release)
 
 # A shorter title for the navigation bar. Default is the same as html_title.
 #html_short_title = None
--
Repository URL: http://hg.python.org/devguide
