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