diff options
author | Chris Johns <chrisj@rtems.org> | 2018-02-16 17:04:22 +1100 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2018-02-16 17:04:22 +1100 |
commit | 69c21ada3b2f588e80a82e5e418588ed72261b43 (patch) | |
tree | e5879c6509cde79c4dbb431c5940e54d4ee79b33 /docs/docs.rtems.org/cat-main.html | |
parent | 9c13b1360ef9975c585f86bba890bede0533a8ba (diff) |
Fix the arguments to loading a cat and the main page.
Diffstat (limited to 'docs/docs.rtems.org/cat-main.html')
-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 59c60b2..a47049c 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", true); </script> + <script> loadCatalogue("branches/master/catalogue.xml", "branches/master", "master", true, true); </script> @LATEST_RELEASE_SCRIPT@ <!-- catalogues-bottom --> |