godotengine/godot-docs
1
0
Fork 0
mirror of https://github.com/godotengine/godot-docs.git synced 2025-12-31 17:49:03 +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 e2e1aeac71
commit 08fa821955
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 -%}
{{ super() }}
{% endblock -%}
{% block htmltitle -%}
<title>{{ godot_title_prefix }}{{ title|striptags|e }}{{ titlesuffix }}</title>
{% endblock -%}

3
conf.py
View File

@@ -118,6 +118,9 @@ html_context = {
"godot_docs_suffix": ".html",
"godot_default_lang": "en",
"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"