Deploying to gh-pages from @ fc7a6d2 🚀

voodoos · Oct 20, 2024 · be7cce1 · be7cce1
1 parent f5da020
commit be7cce1
Show file tree

Hide file tree

Showing 6 changed files with 27 additions and 6,022 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1 +1 @@
-brr_lwd_ui.css
+*.css
diff --git a/yjs/.gitignore b/yjs/.gitignore
@@ -0,0 +1,3 @@
+*
+!.gitignore
+!dune
diff --git a/yjs/dune b/yjs/dune
@@ -3,4 +3,4 @@
  (mode
   (promote (until-clean)))
  (files
-  ../../vendor/brr_lwd_ui/examples/yjs/{main.bc.js,index.html,main.css,brr_lwd_ui.css}))
+  ../../vendor/brr_lwd_ui/examples/yjs/{bundle.js,bundle.js.map,index.html,*.css}))
diff --git a/yjs/index.html b/yjs/index.html
@@ -4,12 +4,13 @@
 <head>
 	<title>OCAMIX</title>
 	<meta name="viewport" content="width=device-width, initial-scale=1" />
-	<link rel="stylesheet" href="./brr_lwd_ui.css">
-	<link rel="stylesheet" href="./main.css">
+	<link rel="stylesheet" href="./bundle.css" />
+	<link rel="stylesheet" href="./brr_lwd_ui.css" />
+	<link rel="stylesheet" href="./main.css" />
 </head>
 
 <body>
-	<script src="main.bc.js"></script>
+	<script src="bundle.js"></script>
 </body>
 
 </html>