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

[georg.brandl]

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