documentation_options.js
23860fdef54emaster

documentation_options.js
View Options

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