Deploying to gh-pages from @ 3b511b7 🚀

OCamlPro · Aug 13, 2024 · e0e340b · e0e340b
1 parent 71101da
commit e0e340b
Show file tree

Hide file tree

Showing 16 changed files with 38 additions and 38 deletions.
diff --git a/sphinx/.buildinfo b/sphinx/.buildinfo
@@ -1,4 +1,4 @@
 # Sphinx build info version 1
 # This file hashes the configuration used when building these files. When it is not found, a full rebuild will be done.
-config: 8fddd6cc1196516880fefbefdee66e68
+config: 97f7f3dc4e160ce7d90e94b7e9e56fd3
 tags: 645f666f9bcd5a90fca523b33c5a78b7
diff --git a/sphinx/.doctrees/environment.pickle b/sphinx/.doctrees/environment.pickle
diff --git a/sphinx/_static/documentation_options.js b/sphinx/_static/documentation_options.js
@@ -1,6 +1,6 @@
 var DOCUMENTATION_OPTIONS = {
     URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'),
-    VERSION: 'master (15b985a) (2024/08/12 15:12)',
+    VERSION: 'master (3b511b7) (2024/08/13 09:27)',
     LANGUAGE: 'en',
     COLLAPSE_INDEX: false,
     BUILDER: 'html',

diff --git a/sphinx/about.html b/sphinx/about.html
@@ -5,8 +5,8 @@
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
   <title>About SuperBOL &mdash; superbol-studio-oss master
- (15b985a
-) (2024/08/12 15:12) documentation</title>
+ (3b511b7
+) (2024/08/13 09:27) documentation</title>
       <link rel="stylesheet" href="_static/pygments.css" type="text/css" />
       <link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
       <link rel="stylesheet" href="_static/css/fixes.css" type="text/css" />
@@ -32,7 +32,7 @@
           </a>
               <div class="version">
                 master
- (15b985a
+ (3b511b7
 )
               </div>
 <div role="search">

diff --git a/sphinx/building-superbol.html b/sphinx/building-superbol.html
@@ -5,8 +5,8 @@
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
   <title>Building SuperBOL from Sources &mdash; superbol-studio-oss master
- (15b985a
-) (2024/08/12 15:12) documentation</title>
+ (3b511b7
+) (2024/08/13 09:27) documentation</title>
       <link rel="stylesheet" href="_static/pygments.css" type="text/css" />
       <link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
       <link rel="stylesheet" href="_static/css/fixes.css" type="text/css" />
@@ -32,7 +32,7 @@
           </a>
               <div class="version">
                 master
- (15b985a
+ (3b511b7
 )
               </div>
 <div role="search">

diff --git a/sphinx/commands.html b/sphinx/commands.html
@@ -5,8 +5,8 @@
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
   <title>Sub-commands and Arguments &mdash; superbol-studio-oss master
- (15b985a
-) (2024/08/12 15:12) documentation</title>
+ (3b511b7
+) (2024/08/13 09:27) documentation</title>
       <link rel="stylesheet" href="_static/pygments.css" type="text/css" />
       <link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
       <link rel="stylesheet" href="_static/css/fixes.css" type="text/css" />
@@ -32,7 +32,7 @@
           </a>
               <div class="version">
                 master
- (15b985a
+ (3b511b7
 )
               </div>
 <div role="search">

diff --git a/sphinx/debug.html b/sphinx/debug.html
@@ -5,8 +5,8 @@
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
   <title>SuperBOL VSCode Debug &mdash; superbol-studio-oss master
- (15b985a
-) (2024/08/12 15:12) documentation</title>
+ (3b511b7
+) (2024/08/13 09:27) documentation</title>
       <link rel="stylesheet" href="_static/pygments.css" type="text/css" />
       <link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
       <link rel="stylesheet" href="_static/css/fixes.css" type="text/css" />
@@ -32,7 +32,7 @@
           </a>
               <div class="version">
                 master
- (15b985a
+ (3b511b7
 )
               </div>
 <div role="search">

diff --git a/sphinx/emacs.html b/sphinx/emacs.html
@@ -5,8 +5,8 @@
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
   <title>SuperBOL mode for GNU/Emacs &mdash; superbol-studio-oss master
- (15b985a
-) (2024/08/12 15:12) documentation</title>
+ (3b511b7
+) (2024/08/13 09:27) documentation</title>
       <link rel="stylesheet" href="_static/pygments.css" type="text/css" />
       <link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
       <link rel="stylesheet" href="_static/css/fixes.css" type="text/css" />
@@ -32,7 +32,7 @@
           </a>
               <div class="version">
                 master
- (15b985a
+ (3b511b7
 )
               </div>
 <div role="search">

diff --git a/sphinx/genindex.html b/sphinx/genindex.html
@@ -4,8 +4,8 @@
   <meta charset="utf-8" />
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
   <title>Index &mdash; superbol-studio-oss master
- (15b985a
-) (2024/08/12 15:12) documentation</title>
+ (3b511b7
+) (2024/08/13 09:27) documentation</title>
       <link rel="stylesheet" href="_static/pygments.css" type="text/css" />
       <link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
       <link rel="stylesheet" href="_static/css/fixes.css" type="text/css" />
@@ -29,7 +29,7 @@
           </a>
               <div class="version">
                 master
- (15b985a
+ (3b511b7
 )
               </div>
 <div role="search">

diff --git a/sphinx/index.html b/sphinx/index.html
@@ -5,8 +5,8 @@
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
   <title>Welcome to SuperBOL Studio OSS &mdash; superbol-studio-oss master
- (15b985a
-) (2024/08/12 15:12) documentation</title>
+ (3b511b7
+) (2024/08/13 09:27) documentation</title>
       <link rel="stylesheet" href="_static/pygments.css" type="text/css" />
       <link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
       <link rel="stylesheet" href="_static/css/fixes.css" type="text/css" />
@@ -31,7 +31,7 @@
           </a>
               <div class="version">
                 master
- (15b985a
+ (3b511b7
 )
               </div>
 <div role="search">

diff --git a/sphinx/installing-superbol-vsix.html b/sphinx/installing-superbol-vsix.html
@@ -5,8 +5,8 @@
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
   <title>Installing the SuperBOL VSCode extension &mdash; superbol-studio-oss master
- (15b985a
-) (2024/08/12 15:12) documentation</title>
+ (3b511b7
+) (2024/08/13 09:27) documentation</title>
       <link rel="stylesheet" href="_static/pygments.css" type="text/css" />
       <link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
       <link rel="stylesheet" href="_static/css/fixes.css" type="text/css" />
@@ -32,7 +32,7 @@
           </a>
               <div class="version">
                 master
- (15b985a
+ (3b511b7
 )
               </div>
 <div role="search">

diff --git a/sphinx/license.html b/sphinx/license.html
@@ -5,8 +5,8 @@
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
   <title>Copyright and License &mdash; superbol-studio-oss master
- (15b985a
-) (2024/08/12 15:12) documentation</title>
+ (3b511b7
+) (2024/08/13 09:27) documentation</title>
       <link rel="stylesheet" href="_static/pygments.css" type="text/css" />
       <link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
       <link rel="stylesheet" href="_static/css/fixes.css" type="text/css" />
@@ -31,7 +31,7 @@
           </a>
               <div class="version">
                 master
- (15b985a
+ (3b511b7
 )
               </div>
 <div role="search">

diff --git a/sphinx/lsp.html b/sphinx/lsp.html
@@ -5,8 +5,8 @@
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
   <title>SuperBOL LSP Server &mdash; superbol-studio-oss master
- (15b985a
-) (2024/08/12 15:12) documentation</title>
+ (3b511b7
+) (2024/08/13 09:27) documentation</title>
       <link rel="stylesheet" href="_static/pygments.css" type="text/css" />
       <link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
       <link rel="stylesheet" href="_static/css/fixes.css" type="text/css" />
@@ -32,7 +32,7 @@
           </a>
               <div class="version">
                 master
- (15b985a
+ (3b511b7
 )
               </div>
 <div role="search">

diff --git a/sphinx/objects.inv b/sphinx/objects.inv
diff --git a/sphinx/search.html b/sphinx/search.html
@@ -4,8 +4,8 @@
   <meta charset="utf-8" />
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
   <title>Search &mdash; superbol-studio-oss master
- (15b985a
-) (2024/08/12 15:12) documentation</title>
+ (3b511b7
+) (2024/08/13 09:27) documentation</title>
       <link rel="stylesheet" href="_static/pygments.css" type="text/css" />
       <link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
       <link rel="stylesheet" href="_static/css/fixes.css" type="text/css" />
@@ -32,7 +32,7 @@
           </a>
               <div class="version">
                 master
- (15b985a
+ (3b511b7
 )
               </div>
 <div role="search">

diff --git a/sphinx/vscode-extension.html b/sphinx/vscode-extension.html
@@ -5,8 +5,8 @@
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
   <title>SuperBOL VSCode Extension &mdash; superbol-studio-oss master
- (15b985a
-) (2024/08/12 15:12) documentation</title>
+ (3b511b7
+) (2024/08/13 09:27) documentation</title>
       <link rel="stylesheet" href="_static/pygments.css" type="text/css" />
       <link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
       <link rel="stylesheet" href="_static/css/fixes.css" type="text/css" />
@@ -32,7 +32,7 @@
           </a>
               <div class="version">
                 master
- (15b985a
+ (3b511b7
 )
               </div>
 <div role="search">