Skip to content

Commit 8cc8f28

Browse files
dpgeorgedpgeorge
committed
docs: Make index link point to "index.html" irrespective of port.
1 parent 9896314 commit 8cc8f28

1 file changed

Lines changed: 4 additions & 0 deletions

File tree

‎docs/templates/layout.html‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,6 @@
11
{% extends "!layout.html" %}
22
{% set css_files = css_files + ["_static/customstyle.css"] %}
3+
4+
{# we change the master_doc variable so that links to the index
5+
page are to index.html instead of <port>_index.html #}
6+
{% set master_doc = "index" %}

0 commit comments

Comments
 (0)