Merge branch 'gh-pages' of github.com:wrench-project/wrench into gh-p…

…ages
wrench-project · Sep 12, 2024 · 44f340f · 44f340f
2 parents 0234fb1 + 7a701ee
commit 44f340f
Show file tree

Hide file tree

Showing 12 changed files with 1,064 additions and 26,537 deletions.
diff --git a/2.4-dev/.doctrees/environment.pickle b/2.4-dev/.doctrees/environment.pickle
diff --git a/2.4-dev/.doctrees/python_api.doctree b/2.4-dev/.doctrees/python_api.doctree
diff --git a/2.4-dev/_sources/python_api.rst.txt b/2.4-dev/_sources/python_api.rst.txt
@@ -3,6 +3,5 @@ WRENCH Python API
 
 WRENCH provides a Python API that covers a large fraction of the WRENCH C++ API. 
 
-The Python API is `available here <https://github.com/wrench-project/wrench-python-api>` and
-documented on `this page <https://wrench-python-api.readthedocs.io/en/latest/>`_
+The Python API is `available here <https://github.com/wrench-project/wrench-python-api/>`_ and documented on `this page <https://wrench-python-api.readthedocs.io/en/latest/>`_
 
diff --git a/2.4-dev/python_api.html b/2.4-dev/python_api.html
@@ -96,8 +96,7 @@
   <section id="wrench-python-api">
 <h1>WRENCH Python API<a class="headerlink" href="#wrench-python-api" title="Link to this heading"></a></h1>
 <p>WRENCH provides a Python API that covers a large fraction of the WRENCH C++ API.</p>
-<p>The Python API is <cite>available here &lt;https://github.com/wrench-project/wrench-python-api&gt;</cite> and
-documented on <a class="reference external" href="https://wrench-python-api.readthedocs.io/en/latest/">this page</a></p>
+<p>The Python API is <a class="reference external" href="https://github.com/wrench-project/wrench-python-api/">available here</a> and documented on <a class="reference external" href="https://wrench-python-api.readthedocs.io/en/latest/">this page</a></p>
 </section>
 
 

diff --git a/2.4-dev/restapi/index.html b/2.4-dev/restapi/index.html
diff --git a/2.4-dev/searchindex.js b/2.4-dev/searchindex.js
diff --git a/latest/.doctrees/environment.pickle b/latest/.doctrees/environment.pickle
diff --git a/latest/.doctrees/python_api.doctree b/latest/.doctrees/python_api.doctree
diff --git a/latest/_sources/python_api.rst.txt b/latest/_sources/python_api.rst.txt
@@ -3,6 +3,5 @@ WRENCH Python API
 
 WRENCH provides a Python API that covers a large fraction of the WRENCH C++ API. 
 
-The Python API is `available here <https://github.com/wrench-project/wrench-python-api>` and
-documented on `this page <https://wrench-python-api.readthedocs.io/en/latest/>`_
+The Python API is `available here <https://github.com/wrench-project/wrench-python-api/>`_ and documented on `this page <https://wrench-python-api.readthedocs.io/en/latest/>`_
 
diff --git a/latest/python_api.html b/latest/python_api.html
@@ -96,8 +96,7 @@
   <section id="wrench-python-api">
 <h1>WRENCH Python API<a class="headerlink" href="#wrench-python-api" title="Link to this heading"></a></h1>
 <p>WRENCH provides a Python API that covers a large fraction of the WRENCH C++ API.</p>
-<p>The Python API is <cite>available here &lt;https://github.com/wrench-project/wrench-python-api&gt;</cite> and
-documented on <a class="reference external" href="https://wrench-python-api.readthedocs.io/en/latest/">this page</a></p>
+<p>The Python API is <a class="reference external" href="https://github.com/wrench-project/wrench-python-api/">available here</a> and documented on <a class="reference external" href="https://wrench-python-api.readthedocs.io/en/latest/">this page</a></p>
 </section>
 
 

diff --git a/latest/restapi/index.html b/latest/restapi/index.html
diff --git a/latest/searchindex.js b/latest/searchindex.js