godotengine/godot-docs
1
0
Fork 0
mirror of https://github.com/godotengine/godot-docs.git synced 2026-01-05 22:09:56 +03:00
Code Issues Packages Projects Releases Wiki Activity

Prepend "(DEV)" to HTML titles if build locally/not on RTD

Browse Source 
(cherry picked from commit 0b6d26e33d)
This commit is contained in:
Max Hilbrunner
2020-04-27 20:00:25 +02:00
committed by Rémi Verschelde
parent 85fe19df42
commit 2c286519b3
2 changed files with 7 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
_templates/layout.html
View File

@@ -12,3 +12,7 @@
{% endif -%} {% endif -%}
{{ super() }} {{ super() }}
{% endblock -%} {% endblock -%}
{% block htmltitle -%}
<title>{{ godot_title_prefix }}{{ title|striptags|e }}{{ titlesuffix }}</title>
{% endblock -%}

3
conf.py
View File

@@ -116,6 +116,9 @@ html_context = {
"godot_docs_suffix": ".html", "godot_docs_suffix": ".html",
"godot_default_lang": "en", "godot_default_lang": "en",
"godot_canonical_version": "stable", "godot_canonical_version": "stable",
# Distinguish local development website from production website.
# This prevents people from looking for changes on the production website after making local changes :)
"godot_title_prefix": "" if on_rtd else "(DEV) ",
} }
html_logo = "img/docs_logo.png" html_logo = "img/docs_logo.png"