From 92caeb4d99b1a897113dc7fd6d97cb5070e91f4a Mon Sep 17 00:00:00 2001
From: Danila Fedorin <danila.fedorin@gmail.com>
Date: Mon, 5 Jan 2026 00:37:37 +0000
Subject: [PATCH] Fix Agda HTML crosslinking with Agda 2.8.0

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
---
 flake.lock | 8 ++++----
 lib.nix    | 2 +-
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/flake.lock b/flake.lock
index 45b5aee..4e8bc2b 100644
--- a/flake.lock
+++ b/flake.lock
@@ -26,11 +26,11 @@
     "blog-source": {
       "flake": false,
       "locked": {
-        "lastModified": 1767492531,
-        "narHash": "sha256-129XwekGf9FULizZzS/HfxF12QQHrGeCWYGeCx3uZOg=",
+        "lastModified": 1767573223,
+        "narHash": "sha256-cm7P5geANPTE4d0V8eMuqUvRO1CfSjoGlUVs2nr0AyE=",
         "ref": "refs/heads/master",
-        "rev": "a6f3cd3f9ad58c73585dce0fda50e60d8e2194dc",
-        "revCount": 925,
+        "rev": "5e117e3f485c305ee7a297c2e95cd53d8f52e248",
+        "revCount": 926,
         "submodules": true,
         "type": "git",
         "url": "https://dev.danilafe.com/Web-Projects/blog-static.git"
diff --git a/lib.nix b/lib.nix
index 588716f..18a3626 100644
--- 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";