Fix Agda HTML crosslinking with Agda 2.8.0

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2026-01-05 00:37:37 +00:00
parent b469d78d1a
commit 92caeb4d99
2 changed files with 5 additions and 5 deletions
--- a/lib.nix
+++ b/lib.nix
@@ -30,7 +30,7 @@ let
      agdaBuildScript = builtins.toFile "build-agda-html.rb" (builtins.readFile "${settings.src}/build-agda-html.rb");
      submoduleDataFile = builtins.toFile "submodules.json" (builtins.readFile "${settings.src}/data/submodules.json");
      codeRoot = pkgs.lib.cleanSource "${settings.src}/code";
-      agdaCommand = pkgs.lib.escapeShellArg "agda -l standard-library -i . ";
+      agdaCommand = pkgs.lib.escapeShellArg "agda --transliterate -l standard-library -i . ";
    in
      stdenv.mkDerivation {
        name = "blog-static-agda-html";