doc: add installation docs

2023-11-16 22:19:53 +00:00
parent 00f405e3d8
commit c5aa902751
2 changed files with 100 additions and 10 deletions
@@ -1,5 +1,7 @@
 {
  "deno.enable": false,
  "deno.lint": false,
-  "deno.unstable": false
+  "deno.unstable": false,
+  "spellright.language": [],
+  "spellright.documentTypes": ["latex", "plaintext"]
 }