diff options
| author | Damien George <damien.p.george@gmail.com> | 2015-06-27 13:41:24 +0100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2015-06-27 13:41:24 +0100 |
| commit | 8cc8f280ebaf6731e35e5862fe9d186580389d80 (patch) | |
| tree | 95460a7010c9857ceed3d2d0334cf9dc0c6e50ef /docs/templates | |
| parent | 9896314f5b35b765b14ec85729a8c190fe787ba1 (diff) | |
| download | micropython-8cc8f280ebaf6731e35e5862fe9d186580389d80.tar.gz micropython-8cc8f280ebaf6731e35e5862fe9d186580389d80.zip | |
docs: Make index link point to "index.html" irrespective of port.
Diffstat (limited to 'docs/templates')
| -rw-r--r-- | docs/templates/layout.html | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/templates/layout.html b/docs/templates/layout.html index 8a57bff276..a6caa0bc5a 100644 --- a/docs/templates/layout.html +++ b/docs/templates/layout.html @@ -1,2 +1,6 @@ {% extends "!layout.html" %} {% set css_files = css_files + ["_static/customstyle.css"] %} + +{# we change the master_doc variable so that links to the index + page are to index.html instead of <port>_index.html #} +{% set master_doc = "index" %} |