From afe4dfb61eee59d03a883eba638beb685bf67447 Mon Sep 17 00:00:00 2001 From: Florian Klink Date: Thu, 7 Sep 2023 17:51:34 +0300 Subject: refactor(tvix): move logo to //tvix:logo Also expose both formats, then use it from users/tazjin/presentations/tvix-eval-2023. Change-Id: Id906e8aff5510a7a4f33336326472e86db18ea32 Reviewed-on: https://cl.tvl.fyi/c/depot/+/9280 Tested-by: BuildkiteCI Autosubmit: flokli Reviewed-by: tazjin --- tvix/website/default.nix | 2 +- tvix/website/landing-en.md | 2 +- tvix/website/tvix-logo.webp | Bin 82366 -> 0 bytes 3 files changed, 2 insertions(+), 2 deletions(-) delete mode 100644 tvix/website/tvix-logo.webp (limited to 'tvix/website') diff --git a/tvix/website/default.nix b/tvix/website/default.nix index 2dd939e8a9..ed955e4d24 100644 --- a/tvix/website/default.nix +++ b/tvix/website/default.nix @@ -28,5 +28,5 @@ in pkgs.runCommand "tvix-website" { } '' mkdir $out cp ${landing} $out/index.html - cp ${./tvix-logo.webp} $out/tvix-logo.webp + cp ${depot.tvix.logo}/logo.webp $out/ '' diff --git a/tvix/website/landing-en.md b/tvix/website/landing-en.md index d95320f11c..2018e67b06 100644 --- a/tvix/website/landing-en.md +++ b/tvix/website/landing-en.md @@ -1,4 +1,4 @@ - ------------------ diff --git a/tvix/website/tvix-logo.webp b/tvix/website/tvix-logo.webp deleted file mode 100644 index 07bffc18b7..0000000000 Binary files a/tvix/website/tvix-logo.webp and /dev/null differ -- cgit 1.4.1