diff options
author | Chris Johns <chrisj@rtems.org> | 2017-09-04 13:00:45 +1000 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2017-09-04 13:00:45 +1000 |
commit | 48c68f443af601d0b426e545a9508e20b9881667 (patch) | |
tree | fa58b56fe9ce8e1867af7d50465ddaccc01334fc | |
parent | 1020983d10eb84bf8bdbebc4e72210516303e3b8 (diff) |
Master table of docs visible on loading.
-rw-r--r-- | docs/docs.rtems.org/cat-main.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/docs.rtems.org/cat-main.html b/docs/docs.rtems.org/cat-main.html index 5ddc26f..59c60b2 100644 --- a/docs/docs.rtems.org/cat-main.html +++ b/docs/docs.rtems.org/cat-main.html @@ -64,6 +64,6 @@ </div> <!-- Load the catalogues and generate the content --> <script type="text/javascript" src="static/rtems/js/catalogue.js"></script> - <script> loadCatalogue("branches/master/catalogue.xml", "branches/master", "master", false); </script> + <script> loadCatalogue("branches/master/catalogue.xml", "branches/master", "master", true); </script> @LATEST_RELEASE_SCRIPT@ <!-- catalogues-bottom --> |