fix(cli): copy theme files

Myriad-Dreamin · Aug 27, 2023 · 945d1a2 · 945d1a2
1 parent 149446a
commit 945d1a2
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/cli/src/main.rs b/cli/src/main.rs
@@ -152,6 +152,14 @@ Sample page
             .unwrap()
             .replace("/contrib/typst/gh-pages.typ", &page_template),
     )?;
+    write_file(
+        dir.join("templates/theme-style.toml"),
+        include_bytes!("../../contrib/typst/theme-style.toml"),
+    )?;
+    write_file(
+        dir.join("templates/tokyo-night.tmTheme"),
+        include_bytes!("../../contrib/typst/tokyo-night.tmTheme"),
+    )?;
 
     serve(ServeArgs {
         compile: args.compile,