Updated releasetable

emmo-repo · Apr 11, 2024 · 774d0ea · 774d0ea
1 parent fb3a26d
commit 774d0ea
Show file tree

Hide file tree

Showing 9 changed files with 114,654 additions and 114,653 deletions.
diff --git a/_sources/emmo.rst.txt b/_sources/emmo.rst.txt
diff --git a/_static/conf.py b/_static/conf.py
@@ -63,7 +63,8 @@
 # relative to this directory. They are copied after the builtin static files,
 # so a file named "default.css" will overwrite the builtin "default.css".
 html_static_path = ['../doc/_static']
-html_css_files = ['custom.css']
+#html_css_files = ['custom.css']
+html_css_files = ['https://raw.githubusercontent.com/emmo-repo/emmo-repo.github.io/master/_static/custom.css']
 
 # The name of an image file (relative to this directory) to place at the top
 # of the sidebar.

diff --git a/emmo.html b/emmo.html
diff --git a/emmo.owl b/emmo.owl
diff --git a/emmo.ttl b/emmo.ttl
diff --git a/genindex.html b/genindex.html
@@ -29,7 +29,7 @@
 
     <link rel="stylesheet" type="text/css" href="_static/pygments.css?v=fa44fd50" />
     <link rel="stylesheet" type="text/css" href="_static/design-style.1e8bd061cd6da7fc9cf755528e8ffc24.min.css?v=0a3b3ea7" />
-    <link rel="stylesheet" type="text/css" href="_static/custom.css?v=357b5d8a" />
+    <link rel="stylesheet" type="text/css" href="https://raw.githubusercontent.com/emmo-repo/emmo-repo.github.io/master/_static/custom.css" />
 
   <!-- Pre-loaded scripts that we'll load fully later -->
   <link rel="preload" as="script" href="_static/scripts/bootstrap.js?digest=8d27b9dea8ad943066ae" />

diff --git a/objects.inv b/objects.inv
diff --git a/search.html b/search.html
@@ -28,7 +28,7 @@
 
     <link rel="stylesheet" type="text/css" href="_static/pygments.css?v=fa44fd50" />
     <link rel="stylesheet" type="text/css" href="_static/design-style.1e8bd061cd6da7fc9cf755528e8ffc24.min.css?v=0a3b3ea7" />
-    <link rel="stylesheet" type="text/css" href="_static/custom.css?v=357b5d8a" />
+    <link rel="stylesheet" type="text/css" href="https://raw.githubusercontent.com/emmo-repo/emmo-repo.github.io/master/_static/custom.css" />
 
   <!-- Pre-loaded scripts that we'll load fully later -->
   <link rel="preload" as="script" href="_static/scripts/bootstrap.js?digest=8d27b9dea8ad943066ae" />

diff --git a/searchindex.js b/searchindex.js