Update playground assets

stsewd · Jan 23, 2022 · 027db97 · 027db97
1 parent d06d2a7
commit 027db97
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 3 deletions.
diff --git a/docs/index.html b/docs/index.html
@@ -1,9 +1,13 @@
 <!--
-  Based on: https://github.com/stsewd/tree-sitter-rst/blob/master/docs/index.html
+  Based on:
+  - https://github.com/tree-sitter/tree-sitter/blob/335190c/cli/src/web_ui.html
+  - https://github.com/ikatyang/tree-sitter-markdown/blob/master/docs/index.html
 
   Assets from:
   - https://github.com/tree-sitter/tree-sitter/blob/c6dd5da/docs/assets/js/playground.js
-  - tree-sitter.js, tree-sitter.wasm from https://github.com/tree-sitter/tree-sitter/releases/
+  - https://github.com/tree-sitter/tree-sitter.github.io/blob/30c344c/tree-sitter.js
+  - https://github.com/tree-sitter/tree-sitter.github.io/blob/30c344c/tree-sitter.wasm
+  - Or download those files from https://github.com/tree-sitter/tree-sitter/releases/
 -->
 <head>
   <meta charset="utf-8">

diff --git a/docs/js/tree-sitter.js b/docs/js/tree-sitter.js
diff --git a/docs/js/tree-sitter.wasm b/docs/js/tree-sitter.wasm