diff options
| author | Georg Brandl <georg@python.org> | 2014-09-20 21:21:39 +0200 |
|---|---|---|
| committer | Georg Brandl <georg@python.org> | 2014-09-20 21:21:39 +0200 |
| commit | 1d5318fb4b53f57660427e228db5061c4a656c13 (patch) | |
| tree | 71c9af18e9283ea9ea18b102c93553e994f04c70 /doc/conf.py | |
| parent | 16213200290b7d9d09396550cae75a91b3658572 (diff) | |
| download | pygments-1d5318fb4b53f57660427e228db5061c4a656c13.tar.gz | |
Update the "intro" blurb a bit, and add a few missing links to the main doc page.
Diffstat (limited to 'doc/conf.py')
| -rw-r--r-- | doc/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/conf.py b/doc/conf.py index 864ec7a1..4ac487fa 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -117,7 +117,7 @@ html_theme_path = ['_themes'] # The name of an image file (within the static path) to use as favicon of the # docs. This file should be a Windows icon file (.ico) being 16x16 or 32x32 # pixels large. -html_favicon = 'favicon.ico' +html_favicon = '_static/favicon.ico' # Add any paths that contain custom static files (such as style sheets) here, # relative to this directory. They are copied after the builtin static files, |