Deploying to gh-pages from @ 24673c9 🚀

OCamlPro · Oct 21, 2024 · f6dc114 · f6dc114
1 parent 3bf6fc1
commit f6dc114
Show file tree

Hide file tree

Showing 17 changed files with 42 additions and 42 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: ffd8a8721dbe1154bc8f11875806faaa
+config: e60d466c51f0df6df07729bad5b31e18
 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 (3fd73b0) (2024/10/21 15:33)',
+    VERSION: 'master (24673c9) (2024/10/21 15:36)',
     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
- (3fd73b0
-) (2024/10/21 15:33) documentation</title>
+ (24673c9
+) (2024/10/21 15:36) 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
- (3fd73b0
+ (24673c9
 )
               </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
- (3fd73b0
-) (2024/10/21 15:33) documentation</title>
+ (24673c9
+) (2024/10/21 15:36) 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
- (3fd73b0
+ (24673c9
 )
               </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
- (3fd73b0
-) (2024/10/21 15:33) documentation</title>
+ (24673c9
+) (2024/10/21 15:36) 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
- (3fd73b0
+ (24673c9
 )
               </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
- (3fd73b0
-) (2024/10/21 15:33) documentation</title>
+ (24673c9
+) (2024/10/21 15:36) 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
- (3fd73b0
+ (24673c9
 )
               </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
- (3fd73b0
-) (2024/10/21 15:33) documentation</title>
+ (24673c9
+) (2024/10/21 15:36) 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
- (3fd73b0
+ (24673c9
 )
               </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
- (3fd73b0
-) (2024/10/21 15:33) documentation</title>
+ (24673c9
+) (2024/10/21 15:36) 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
- (3fd73b0
+ (24673c9
 )
               </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
- (3fd73b0
-) (2024/10/21 15:33) documentation</title>
+ (24673c9
+) (2024/10/21 15:36) 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
- (3fd73b0
+ (24673c9
 )
               </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
- (3fd73b0
-) (2024/10/21 15:33) documentation</title>
+ (24673c9
+) (2024/10/21 15:36) 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
- (3fd73b0
+ (24673c9
 )
               </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
- (3fd73b0
-) (2024/10/21 15:33) documentation</title>
+ (24673c9
+) (2024/10/21 15:36) 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
- (3fd73b0
+ (24673c9
 )
               </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
- (3fd73b0
-) (2024/10/21 15:33) documentation</title>
+ (24673c9
+) (2024/10/21 15:36) 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
- (3fd73b0
+ (24673c9
 )
               </div>
 <div role="search">

diff --git a/sphinx/objects.inv b/sphinx/objects.inv
@@ -1,6 +1,6 @@
 # Sphinx inventory version 2
 # Project: superbol-studio-oss
-# Version: master (3fd73b0 )
+# Version: master (24673c9 )
 # The remainder of this file is compressed using zlib.
 xڕR�N�0��+,�5 �!��B�
 �dg'�$�;�j��8��IK�K����NwBS�,6�=2���Sܕ�x�Έ�A/w[�:.�Eb<�*�Ά�b���ε�0QNg`P���Jfb�ĥ��jx�W��^,s^8M-W�u4�=��hnn�)|�� ��ec�O�R�	��f��-0ST��+�_�?�מ�

diff --git a/sphinx/remote-lsp.html b/sphinx/remote-lsp.html
@@ -5,8 +5,8 @@
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
   <title>&lt;no title&gt; &mdash; superbol-studio-oss master
- (3fd73b0
-) (2024/10/21 15:33) documentation</title>
+ (24673c9
+) (2024/10/21 15:36) 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
- (3fd73b0
+ (24673c9
 )
               </div>
 <div role="search">

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
- (3fd73b0
-) (2024/10/21 15:33) documentation</title>
+ (24673c9
+) (2024/10/21 15:36) 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
- (3fd73b0
+ (24673c9
 )
               </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
- (3fd73b0
-) (2024/10/21 15:33) documentation</title>
+ (24673c9
+) (2024/10/21 15:36) 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
- (3fd73b0
+ (24673c9
 )
               </div>
 <div role="search">