Deploying to gh-pages from @ a96f68d 🚀

OCamlPro · Jul 22, 2024 · ee57ed8 · ee57ed8
1 parent 54ebd79
commit ee57ed8
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: ed5bd59eee7ede4a6bf7a76140edd048
+config: a5b2960aedd42fc1cdb7dd72f504ec01
 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 (df1e45c) (2024/07/12 12:32)',
+    VERSION: 'master (a96f68d) (2024/07/22 15:11)',
     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
- (df1e45c
-) (2024/07/12 12:32) documentation</title>
+ (a96f68d
+) (2024/07/22 15:11) 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
- (df1e45c
+ (a96f68d
 )
               </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
- (df1e45c
-) (2024/07/12 12:32) documentation</title>
+ (a96f68d
+) (2024/07/22 15:11) 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
- (df1e45c
+ (a96f68d
 )
               </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
- (df1e45c
-) (2024/07/12 12:32) documentation</title>
+ (a96f68d
+) (2024/07/22 15:11) 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
- (df1e45c
+ (a96f68d
 )
               </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
- (df1e45c
-) (2024/07/12 12:32) documentation</title>
+ (a96f68d
+) (2024/07/22 15:11) 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
- (df1e45c
+ (a96f68d
 )
               </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
- (df1e45c
-) (2024/07/12 12:32) documentation</title>
+ (a96f68d
+) (2024/07/22 15:11) 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
- (df1e45c
+ (a96f68d
 )
               </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
- (df1e45c
-) (2024/07/12 12:32) documentation</title>
+ (a96f68d
+) (2024/07/22 15:11) 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
- (df1e45c
+ (a96f68d
 )
               </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
- (df1e45c
-) (2024/07/12 12:32) documentation</title>
+ (a96f68d
+) (2024/07/22 15:11) 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
- (df1e45c
+ (a96f68d
 )
               </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
- (df1e45c
-) (2024/07/12 12:32) documentation</title>
+ (a96f68d
+) (2024/07/22 15:11) 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
- (df1e45c
+ (a96f68d
 )
               </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
- (df1e45c
-) (2024/07/12 12:32) documentation</title>
+ (a96f68d
+) (2024/07/22 15:11) 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
- (df1e45c
+ (a96f68d
 )
               </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
- (df1e45c
-) (2024/07/12 12:32) documentation</title>
+ (a96f68d
+) (2024/07/22 15:11) 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
- (df1e45c
+ (a96f68d
 )
               </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
- (df1e45c
-) (2024/07/12 12:32) documentation</title>
+ (a96f68d
+) (2024/07/22 15:11) 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
- (df1e45c
+ (a96f68d
 )
               </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
- (df1e45c
-) (2024/07/12 12:32) documentation</title>
+ (a96f68d
+) (2024/07/22 15:11) 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
- (df1e45c
+ (a96f68d
 )
               </div>
 <div role="search">