Add selection of Manual version

This commit is contained in:
Richard Berger
2021-05-14 11:10:15 -04:00
parent e5cc4409a5
commit cf18ec6cc6
3 changed files with 32 additions and 15 deletions

View File

@ -138,10 +138,6 @@
{% if READTHEDOCS and current_version %}
{%- set nav_version = current_version %}
{% endif %}
{% if nav_version %}
<div class="lammps_version">Version: <b>{{ nav_version }}</b></div>
<div class="lammps_release">git info: {{ release }}</div>
{% endif %}
{% endif %}
{% include "searchbox.html" %}

View File

@ -1,9 +1,9 @@
{% if READTHEDOCS %}
{% if READTHEDOCS or display_manual_versions %}
{# Add rst-badge after rst-versions for small badge style. #}
<div class="rst-versions" data-toggle="rst-versions" role="note" aria-label="versions">
<span class="rst-current-version" data-toggle="rst-current-version">
<span class="fa fa-book"> Read the Docs</span>
v: {{ current_version }}
<span class="fa fa-book"> Version</span>
{{ current_version }}
<span class="fa fa-caret-down"></span>
</span>
<div class="rst-other-versions">
@ -20,14 +20,8 @@
{% endfor %}
</dl>
<dl>
{# Translators: The phrase "Read the Docs" is not translated #}
<dt>{{ _('On Read the Docs') }}</dt>
<dd>
<a href="//{{ PRODUCTION_DOMAIN }}/projects/{{ slug }}/?fromdocs={{ slug }}">{{ _('Project Home') }}</a>
</dd>
<dd>
<a href="//{{ PRODUCTION_DOMAIN }}/builds/{{ slug }}/?fromdocs={{ slug }}">{{ _('Builds') }}</a>
</dd>
<dt>Git Info</dt>
<dd><a href="https://github.com/lammps/lammps/tree/{{ git_commit }}" target="_blank">{{ release }}</a></dd>
</dl>
</div>
</div>