Deploying to gh-pages from @ e5787b9 🚀

OCamlPro · Aug 12, 2024 · 97ce72d · 97ce72d
1 parent 1ac542d
commit 97ce72d
Show file tree

Hide file tree

Showing 17 changed files with 42 additions and 39 deletions.
diff --git a/doc/cobol_lsp/Cobol_lsp/INTERNAL/Request/index.html b/doc/cobol_lsp/Cobol_lsp/INTERNAL/Request/index.html
@@ -19,4 +19,7 @@
   <span><span><span class="xref-unresolved">Lsp</span>.Types.TextEdit.t list</span> option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-document_symbol"><a href="#val-document_symbol" class="anchor"></a><code><span><span class="keyword">val</span> document_symbol : 
   <span><span class="xref-unresolved">Cobol_lsp__.Lsp_server.TYPES.registry</span> <span class="arrow">&#45;&gt;</span></span>
   <span><span class="xref-unresolved">Lsp</span>.Types.DocumentSymbolParams.t <span class="arrow">&#45;&gt;</span></span>
-  <span><span>[&gt; <span>`DocumentSymbol of <span><span class="xref-unresolved">Lsp</span>.Types.DocumentSymbol.t list</span></span> ]</span> option</span></span></code></div></div></div></body></html>
+  <span><span>[&gt; <span>`DocumentSymbol of <span><span class="xref-unresolved">Lsp</span>.Types.DocumentSymbol.t list</span></span> ]</span> option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-codelens"><a href="#val-codelens" class="anchor"></a><code><span><span class="keyword">val</span> codelens : 
+  <span><span class="xref-unresolved">Cobol_lsp__.Lsp_server.TYPES.registry</span> <span class="arrow">&#45;&gt;</span></span>
+  <span><span class="xref-unresolved">Lsp</span>.Types.CodeLensParams.t <span class="arrow">&#45;&gt;</span></span>
+  <span><span class="xref-unresolved">Lsp</span>.Types.CodeLens.t list</span></span></code></div></div></div></body></html>
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: 90036a4d7a208591d40380d6514b2ade
+config: 2f983152a5df0c37e2a0feb745188d1a
 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 (8b26d76) (2024/08/09 08:27)',
+    VERSION: 'master (e5787b9) (2024/08/12 14: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
- (8b26d76
-) (2024/08/09 08:27) documentation</title>
+ (e5787b9
+) (2024/08/12 14: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
- (8b26d76
+ (e5787b9
 )
               </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
- (8b26d76
-) (2024/08/09 08:27) documentation</title>
+ (e5787b9
+) (2024/08/12 14: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
- (8b26d76
+ (e5787b9
 )
               </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
- (8b26d76
-) (2024/08/09 08:27) documentation</title>
+ (e5787b9
+) (2024/08/12 14: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
- (8b26d76
+ (e5787b9
 )
               </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
- (8b26d76
-) (2024/08/09 08:27) documentation</title>
+ (e5787b9
+) (2024/08/12 14: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
- (8b26d76
+ (e5787b9
 )
               </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
- (8b26d76
-) (2024/08/09 08:27) documentation</title>
+ (e5787b9
+) (2024/08/12 14: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
- (8b26d76
+ (e5787b9
 )
               </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
- (8b26d76
-) (2024/08/09 08:27) documentation</title>
+ (e5787b9
+) (2024/08/12 14: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
- (8b26d76
+ (e5787b9
 )
               </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
- (8b26d76
-) (2024/08/09 08:27) documentation</title>
+ (e5787b9
+) (2024/08/12 14: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
- (8b26d76
+ (e5787b9
 )
               </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
- (8b26d76
-) (2024/08/09 08:27) documentation</title>
+ (e5787b9
+) (2024/08/12 14: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
- (8b26d76
+ (e5787b9
 )
               </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
- (8b26d76
-) (2024/08/09 08:27) documentation</title>
+ (e5787b9
+) (2024/08/12 14: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
- (8b26d76
+ (e5787b9
 )
               </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
- (8b26d76
-) (2024/08/09 08:27) documentation</title>
+ (e5787b9
+) (2024/08/12 14: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
- (8b26d76
+ (e5787b9
 )
               </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
- (8b26d76
-) (2024/08/09 08:27) documentation</title>
+ (e5787b9
+) (2024/08/12 14: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
- (8b26d76
+ (e5787b9
 )
               </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
- (8b26d76
-) (2024/08/09 08:27) documentation</title>
+ (e5787b9
+) (2024/08/12 14: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
- (8b26d76
+ (e5787b9
 )
               </div>
 <div role="search">