From 660fe8630085afde9f7c1b8d844a4bc6d4a8d42e Mon Sep 17 00:00:00 2001 From: Patrick Thomson Date: Tue, 8 Sep 2020 09:15:00 -0400 Subject: [PATCH] web_ui and playground.js are always there. --- cli/build.rs | 4 ---- 1 file changed, 4 deletions(-) diff --git a/cli/build.rs b/cli/build.rs index cb7421aa..4c6b76da 100644 --- a/cli/build.rs +++ b/cli/build.rs @@ -20,8 +20,6 @@ fn main() { #[cfg(unix)] fn required_files() -> Vec<&'static Path> { return vec![ - Path::new("../cli/src/web_ui.html"), - Path::new("../docs/assets/js/playground.js"), Path::new("../lib/binding_web/tree-sitter.js"), Path::new("../lib/binding_web/tree-sitter.wasm") ]; @@ -30,8 +28,6 @@ fn required_files() -> Vec<&'static Path> { #[cfg(windows)] fn required_files() -> Vec<&'static Path> { return vec![ - Path::new("../cli/src/web_ui.html"), - Path::new("../docs/assets/js/playground.js"), ]; }