From 9c13b1360ef9975c585f86bba890bede0533a8ba Mon Sep 17 00:00:00 2001 From: Chris Johns Date: Fri, 16 Feb 2018 16:49:14 +1100 Subject: Default the master catalogue to show whem loaded. --- docs/docs.rtems.org/configuration.py | 9 +++++++-- 1 file 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 \ - '\n' \ - % (path, path, tag) + '\n' \ + % (path, path, tag, show) def _release_tag(release): return _tag(release[0]) -- cgit v1.2.3