Deploying to gh-pages from @ b20fcb1 🚀

OCamlPro · Jul 30, 2024 · 2ea679a · 2ea679a
1 parent ee366f9
commit 2ea679a
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: 7932411d06f783c8f6254286165416d4
+config: 7f0c1b60988a4ad0745bb0fbcd6ea196
 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 (52a1f6c) (2024/07/30 13:28)',
+    VERSION: 'master (b20fcb1) (2024/07/30 14:20)',
     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
- (52a1f6c
-) (2024/07/30 13:28) documentation</title>
+ (b20fcb1
+) (2024/07/30 14:20) 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
- (52a1f6c
+ (b20fcb1
 )
               </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
- (52a1f6c
-) (2024/07/30 13:28) documentation</title>
+ (b20fcb1
+) (2024/07/30 14:20) 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
- (52a1f6c
+ (b20fcb1
 )
               </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
- (52a1f6c
-) (2024/07/30 13:28) documentation</title>
+ (b20fcb1
+) (2024/07/30 14:20) 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
- (52a1f6c
+ (b20fcb1
 )
               </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
- (52a1f6c
-) (2024/07/30 13:28) documentation</title>
+ (b20fcb1
+) (2024/07/30 14:20) 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
- (52a1f6c
+ (b20fcb1
 )
               </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
- (52a1f6c
-) (2024/07/30 13:28) documentation</title>
+ (b20fcb1
+) (2024/07/30 14:20) 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
- (52a1f6c
+ (b20fcb1
 )
               </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
- (52a1f6c
-) (2024/07/30 13:28) documentation</title>
+ (b20fcb1
+) (2024/07/30 14:20) 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
- (52a1f6c
+ (b20fcb1
 )
               </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
- (52a1f6c
-) (2024/07/30 13:28) documentation</title>
+ (b20fcb1
+) (2024/07/30 14:20) 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
- (52a1f6c
+ (b20fcb1
 )
               </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
- (52a1f6c
-) (2024/07/30 13:28) documentation</title>
+ (b20fcb1
+) (2024/07/30 14:20) 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
- (52a1f6c
+ (b20fcb1
 )
               </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
- (52a1f6c
-) (2024/07/30 13:28) documentation</title>
+ (b20fcb1
+) (2024/07/30 14:20) 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
- (52a1f6c
+ (b20fcb1
 )
               </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
- (52a1f6c
-) (2024/07/30 13:28) documentation</title>
+ (b20fcb1
+) (2024/07/30 14:20) 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
- (52a1f6c
+ (b20fcb1
 )
               </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
- (52a1f6c
-) (2024/07/30 13:28) documentation</title>
+ (b20fcb1
+) (2024/07/30 14:20) 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
- (52a1f6c
+ (b20fcb1
 )
               </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
- (52a1f6c
-) (2024/07/30 13:28) documentation</title>
+ (b20fcb1
+) (2024/07/30 14:20) 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
- (52a1f6c
+ (b20fcb1
 )
               </div>
 <div role="search">