docs/_static/documentation_options.js

const DOCUMENTATION_OPTIONS = {
    VERSION: '0.8',
    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,
};
github pages 2024-03-25 22:01:36 +00:00			`const DOCUMENTATION_OPTIONS = {`
update github pages 2022-10-31 23:26:32 +00:00			`VERSION: '0.8',`
github pages 2024-03-25 22:01:36 +00:00			`LANGUAGE: 'en',`
github pages init 2022-04-01 12:16:46 +02:00			`COLLAPSE_INDEX: false,`
			`BUILDER: 'html',`
			`FILE_SUFFIX: '.html',`
			`LINK_SUFFIX: '.html',`
			`HAS_SOURCE: true,`
			`SOURCELINK_SUFFIX: '.txt',`
github pages 2024-03-25 22:01:36 +00:00			`NAVIGATION_WITH_KEYS: false,`
			`SHOW_SEARCH_SUMMARY: true,`
			`ENABLE_SEARCH_SHORTCUTS: true,`
github pages init 2022-04-01 12:16:46 +02:00			`};`