build based on d956bcd

JuliaSmoothOptimizers · Sep 17, 2023 · 8ef5ee1 · 8ef5ee1
1 parent 62c2443
commit 8ef5ee1
Show file tree

Hide file tree

Showing 45 changed files with 15,769 additions and 292 deletions.
diff --git a/dev/api/index.html b/dev/api/index.html
diff --git a/dev/assets/documenter.js b/dev/assets/documenter.js
diff --git a/dev/assets/search.js b/dev/assets/search.js
diff --git a/dev/assets/themes/documenter-dark.css b/dev/assets/themes/documenter-dark.css
diff --git a/dev/assets/themes/documenter-light.css b/dev/assets/themes/documenter-light.css
diff --git a/dev/assets/warner.js b/dev/assets/warner.js
@@ -37,7 +37,7 @@ function maybeAddWarning () {
         document.body.removeChild(div);
     });
     const href = window.documenterBaseURL + '/../' + window.DOCUMENTER_STABLE;
-    div.innerHTML = 'This documentation is not for the latest stable release, but for either the development version or an older release.<br><a href="' + href + '">Click here to go to the documentation for the latest stable release.</a>';
+    div.innerHTML = 'This documentation is not for the latest version. <br> <a href="' + href + '">Go to the latest documentation</a>.';
     div.appendChild(closer);
     document.body.appendChild(div);
 };