chore: undo workflow filename change

this affects the badges, revert it for now
pranabdas · Nov 22, 2024 · b3111e3 · b3111e3
1 parent c447b7a
commit b3111e3
Show file tree

Hide file tree

Showing 4 changed files with 2,616 additions and 553 deletions.
diff --git a/.github/workflows/deploy.yml → .github/workflows/deploy-gh-pages.yml b/.github/workflows/deploy.yml → .github/workflows/deploy-gh-pages.yml
diff --git a/docusaurus.config.js b/docusaurus.config.js
@@ -3,7 +3,6 @@ import { themes } from "prism-react-renderer";
 import remarkMath from "remark-math";
 import rehypeKatex from "rehype-katex";
 const site_url = "https://pranabdas.github.io";
-const drive_url = "https://pranab.pages.dev/assets";
 /** @type {import('@docusaurus/types').Config} */
 const config = {
   title: "OpenMX tutorial",
@@ -183,10 +182,11 @@ const config = {
 
   stylesheets: [
     {
-      href: drive_url + "/fonts/katex/katex.min.css",
+      href: "https://pranab.pages.dev/assets/fonts/katex/0.16.11/katex.min.css",
       type: "text/css",
     },
   ],
+
   future: {
     experimental_faster: true,
   },