doc: add a new template variable
Signify if the documentation is for a release or if it is the
development version from master.
Signed-off-by: Anas Nashif <anas.nashif@intel.com>
diff --git a/doc/conf.py b/doc/conf.py
index 2d91f3c..dea01fa 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -146,8 +146,10 @@
if tags.has('release'):
+ is_release = True
docs_title = 'Docs / %s' %(version)
else:
+ is_release = False
docs_title = 'Docs'
# The name for this set of Sphinx documents. If None, it defaults to
@@ -332,6 +334,7 @@
html_context = {
'show_license': html_show_license,
'docs_title': docs_title,
+ 'is_release': is_release,
}
extlinks = {'jira': ('https://jira.zephyrproject.org/browse/%s', '')}
