diff options
author | Damien George <damien.p.george@gmail.com> | 2014-11-02 23:37:02 +0000 |
---|---|---|
committer | Damien George <damien.p.george@gmail.com> | 2014-11-02 23:37:02 +0000 |
commit | 6e6dfdc56be2a5d6476d087043d2a4ccae139af2 (patch) | |
tree | f63db0de4531eacf91fdc94ed34bc060c2439cef /docs/conf.py | |
parent | 1060baa2c26d45c2641ee786581655eb44ffda90 (diff) | |
download | micropython-6e6dfdc56be2a5d6476d087043d2a4ccae139af2.tar.gz micropython-6e6dfdc56be2a5d6476d087043d2a4ccae139af2.zip |
docs: Make custom index page; add more docs.
Diffstat (limited to 'docs/conf.py')
-rw-r--r-- | docs/conf.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/docs/conf.py b/docs/conf.py index 021ed68444..5f61b8d0b5 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -113,7 +113,7 @@ html_theme = 'default' #html_theme_options = {} # Add any paths that contain custom themes here, relative to this directory. -#html_theme_path = [] +html_theme_path = ['.'] # The name for this set of Sphinx documents. If None, it defaults to # "<project> v<release> documentation". @@ -124,7 +124,7 @@ html_theme = 'default' # The name of an image file (relative to this directory) to place at the top # of the sidebar. -#html_logo = None +html_logo = '../logo/trans-logo.png' # 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 @@ -154,7 +154,7 @@ html_theme = 'default' # Additional templates that should be rendered to pages, maps page names to # template names. -#html_additional_pages = {} +html_additional_pages = {"index":"topindex.html"} # If false, no module index is generated. #html_domain_indices = True |