| var DOCUMENTATION_OPTIONS = { | |
| URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'), | |
| VERSION: 'devel', | |
| LANGUAGE: 'en', | |
| COLLAPSE_INDEX: false, | |
| BUILDER: 'html', | |
| FILE_SUFFIX: '.html', | |
| LINK_SUFFIX: '.html', | |
| HAS_SOURCE: true, | |
| SOURCELINK_SUFFIX: '.txt', | |
| NAVIGATION_WITH_KEYS: false, | |
| SHOW_SEARCH_SUMMARY: true, | |
| ENABLE_SEARCH_SHORTCUTS: true, | |
| }; |