diff options
| author | Florian Klink <flokli@flokli.de> | 2023-09-07T14·51+0300 |
|---|---|---|
| committer | flokli <flokli@flokli.de> | 2023-09-10T13·13+0000 |
| commit | afe4dfb61eee59d03a883eba638beb685bf67447 (patch) | |
| tree | 0692875093981b513bc5103cdb7e9a5818242a50 /users/tazjin | |
| parent | 9786255267671f5a8f1ed856d938283139ccf41d (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.nix | 3 |
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 ... |