about summary refs log tree commit diff
path: root/users/tazjin
diff options
context:
space:
mode:
authorFlorian Klink <flokli@flokli.de>2023-09-07T14·51+0300
committerflokli <flokli@flokli.de>2023-09-10T13·13+0000
commitafe4dfb61eee59d03a883eba638beb685bf67447 (patch)
tree0692875093981b513bc5103cdb7e9a5818242a50 /users/tazjin
parent9786255267671f5a8f1ed856d938283139ccf41d (diff)
refactor(tvix): move logo to //tvix:logo r/6576
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 <flokli@flokli.de>
Reviewed-by: tazjin <tazjin@tvl.su>
Diffstat (limited to 'users/tazjin')
-rw-r--r--users/tazjin/presentations/tvix-eval-2023/default.nix3
1 files changed, 1 insertions, 2 deletions
diff --git a/users/tazjin/presentations/tvix-eval-2023/default.nix b/users/tazjin/presentations/tvix-eval-2023/default.nix
index ce831556de89..a4d855197c5e 100644
--- a/users/tazjin/presentations/tvix-eval-2023/default.nix
+++ b/users/tazjin/presentations/tvix-eval-2023/default.nix
@@ -47,8 +47,7 @@ stdenv.mkDerivation {
     mkdir home
     export HOME=$PWD/home
 
-    # webp images can't be included directly, need to convert to PNG
-    convert ${depot.tvix.website}/tvix-logo.webp tvix-logo.png
+    cp ${depot.tvix.logo}/logo.png tvix-logo.png
     cp ${linksQrCode} qrcode.png
 
     # As usual, TeX needs to be run twice ...