Gilles Peskine | 06995ff | 2019-05-21 19:50:19 +0200 | [diff] [blame^] | 1 | var DOCUMENTATION_OPTIONS = { |
2 | URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'), | ||||
3 | VERSION: '1.0 beta3', | ||||
4 | LANGUAGE: 'None', | ||||
5 | COLLAPSE_INDEX: false, | ||||
6 | FILE_SUFFIX: '.html', | ||||
7 | HAS_SOURCE: true, | ||||
8 | SOURCELINK_SUFFIX: '.txt', | ||||
9 | NAVIGATION_WITH_KEYS: false, | ||||
10 | }; |