diff options
| -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 --> |