Backport documentation build from master

This commit is contained in:
kaiyou
2018-12-16 22:31:28 +01:00
parent cd80fda12e
commit a4551870aa
4 changed files with 36 additions and 29 deletions

View File

@@ -1,2 +1,9 @@
{% set version=github_version %}
{% extends "!layout.html" %}
{% block document %}
{% if version != stable_version %}
<div class="wy-alert info">
<p>You are currently browsing documentation for the <b>{{ version }}</b> branch. Documentation for the stable <b>{{ stable_version }}</b> branch can be found <a href="/{{ stable_version }}/">here</a>.</p>
</div>
{% endif %}
{{ super() }}
{% endblock %}