blog: actually remove asciicinema player

2025-02-04 15:38:33 +07:00
parent decf340258
commit 5314eb4cfa
3 changed files with 2 additions and 4 deletions
--- a/docs/.gitignore
+++ b/docs/.gitignore
@@ -1,3 +1,3 @@
 /site/reference
-/site/static/Roboto-Regular.ttf
-/site/static/FiraCode-VF.ttf
+/site/static
+!/site/static/extra.css
--- a/docs/site/static/asciinema-player/asciinema-player.css
+++ b/docs/site/static/asciinema-player/asciinema-player.css
@@ -1 +0,0 @@
-/nix/store/8y5h98wk5p94mv1wyb2c4gkrr7bswd19-asciinema-player.css
--- a/docs/site/static/asciinema-player/asciinema-player.min.js
+++ b/docs/site/static/asciinema-player/asciinema-player.min.js
@@ -1 +0,0 @@
-/nix/store/w0i3f9qzn9n6jmfnfgiw5wnab2f9ssdw-asciinema-player.min.js
				`@@ -1 +0,0 @@`
				`/nix/store/8y5h98wk5p94mv1wyb2c4gkrr7bswd19-asciinema-player.css`
				`@@ -1 +0,0 @@`
				`/nix/store/w0i3f9qzn9n6jmfnfgiw5wnab2f9ssdw-asciinema-player.min.js`