diff options
author | Chris Johns <chrisj@rtems.org> | 2018-02-16 16:49:14 +1100 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2018-02-16 16:49:14 +1100 |
commit | 9c13b1360ef9975c585f86bba890bede0533a8ba (patch) | |
tree | 64da873d42bcbfd918633fcf6b130ef3ae27f2e0 | |
parent | 12a8cc733aae900fefacae3505f07f9fe733c1e1 (diff) |
Default the master catalogue to show whem loaded.
-rw-r--r-- | docs/docs.rtems.org/configuration.py | 9 |
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]) |