summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChris Johns <chrisj@rtems.org>2018-02-16 05:49:14 (UTC)
committerChris Johns <chrisj@rtems.org>2018-02-16 05:49:14 (UTC)
commit9c13b1360ef9975c585f86bba890bede0533a8ba (patch)
tree64da873d42bcbfd918633fcf6b130ef3ae27f2e0
parent12a8cc733aae900fefacae3505f07f9fe733c1e1 (diff)
Default the master catalogue to show whem loaded.
-rw-r--r--docs/docs.rtems.org/configuration.py9
1 files changed, 7 insertions, 2 deletions
diff --git a/docs/docs.rtems.org/configuration.py b/docs/docs.rtems.org/configuration.py
index 14625aa..13f6bae 100644
--- a/docs/docs.rtems.org/configuration.py
+++ b/docs/docs.rtems.org/configuration.py
@@ -244,11 +244,16 @@ class configuration:
def _branch_tag(branch):
return _tag(branch[0])
def _branch_script(branch):
+ name = branch[0]
path = branch[1]
tag = _branch_tag(branch)
+ if name == 'master':
+ show = 'true'
+ else:
+ show = 'false'
return \
- '<script> loadCatalogue("branches/%s/catalogue.xml", "branches/%s", "%s", true, false); </script>\n' \
- % (path, path, tag)
+ '<script> loadCatalogue("branches/%s/catalogue.xml", "branches/%s", "%s", true, %s); </script>\n' \
+ % (path, path, tag, show)
def _release_tag(release):
return _tag(release[0])