Closes #1584: Point to master doc in HTML "top" link.

This commit is contained in:
Georg Brandl 2014-10-01 19:58:36 +02:00
parent ca5e4d7a24
commit ee245c7bf1
2 changed files with 2 additions and 1 deletions

View File

@ -20,6 +20,7 @@ Bugs fixed
searchindex. Thanks to Nathan Goldbaum.
* #1576: Special toctree entry "self" located after another entry that also has
a toctree was replaced with wrong title and link.
* #1584: Point to master doc in HTML "top" link.
Release 1.2.3 (released Sep 1, 2014)

View File

@ -139,7 +139,7 @@
{%- if hasdoc('copyright') %}
<link rel="copyright" title="{{ _('Copyright') }}" href="{{ pathto('copyright') }}" />
{%- endif %}
<link rel="top" title="{{ docstitle|e }}" href="{{ pathto('index') }}" />
<link rel="top" title="{{ docstitle|e }}" href="{{ pathto(master_doc) }}" />
{%- if parents %}
<link rel="up" title="{{ parents[-1].title|striptags|e }}" href="{{ parents[-1].link|e }}" />
{%- endif %}