mirror of
https://github.com/zeek/zeek.git
synced 2025-10-02 06:38:20 +00:00
ded98cd373
This is based on commit 2731def9159247e6da8a3191783c89683363689c from the zeek-docs repo.
14 lines
469 B
HTML
14 lines
469 B
HTML
{% extends "!layout.html" %}
|
|
|
|
{% if READTHEDOCS and current_version %}
|
|
{% if current_version == "latest" or current_version == "stable"
|
|
or current_version == "master" or current_version == "current"
|
|
or current_version == "lts" or current_version == "LTS" %}
|
|
{% set current_version = current_version ~ " (" ~ version ~ ")" %}
|
|
{% endif %}
|
|
{% endif %}
|
|
|
|
{% block menu %}
|
|
{{ super() }}
|
|
<a href="{{pathto('genindex.html', 1)}}">Index</a>
|
|
{% endblock %}
|