update of the docu.

2022-12-12 16:28:13 +01:00
parent 72dd9dea65
commit f22b16876f
62 changed files with 10898 additions and 5814 deletions
--- a/doc/html/_static/documentation_options.js
+++ b/doc/html/_static/documentation_options.js
@ -1,12 +1,9 @@
 var DOCUMENTATION_OPTIONS = {
    URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'),
-    VERSION: '1.7.6',
+    VERSION: '1.8.2',
    LANGUAGE: 'None',
    COLLAPSE_INDEX: false,
-    BUILDER: 'html',
    FILE_SUFFIX: '.html',
-    LINK_SUFFIX: '.html',
    HAS_SOURCE: true,
-    SOURCELINK_SUFFIX: '.txt',
-    NAVIGATION_WITH_KEYS: false
+    SOURCELINK_SUFFIX: '.txt'
 };