diff --git a/_templates/layout.html b/_templates/layout.html index 84503df34..6a55c539a 100644 --- a/_templates/layout.html +++ b/_templates/layout.html @@ -12,3 +12,7 @@ {% endif -%} {{ super() }} {% endblock -%} + +{% block htmltitle -%} +{{ godot_title_prefix }}{{ title|striptags|e }}{{ titlesuffix }} +{% endblock -%} diff --git a/conf.py b/conf.py index 8f211b76c..199e6ed6d 100644 --- a/conf.py +++ b/conf.py @@ -128,6 +128,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"