diff --git a/.github/scripts/katla.sh b/.github/scripts/katla.sh
index 20eff4a0a..b35a7a7b7 100755
--- a/.github/scripts/katla.sh
+++ b/.github/scripts/katla.sh
@@ -11,7 +11,8 @@ while IFS= read -r rawfile; do
     htmldir="html/${libname}/source/"
     htmlfile="${htmldir}/${modulename}.html"
     mkdir -p "$htmldir"
-    katla html "$rawfile" "${prefix}/${libname}/build/ttc/${filename}.ttm" >"$htmlfile"
+    ttc_version=$(ls "${prefix}/${libname}/build/ttc/")
+    katla html "$rawfile" "${prefix}/${libname}/build/ttc/${ttc_version}/${filename}.ttm" >"$htmlfile"
     sed -i "s|<head>|<head><title>${modulename}</title>|" "$htmlfile"
 done <tmp
 rm tmp
diff --git a/www/katla.sh b/www/katla.sh
index 17bb6118c..2e6a3bcdd 100755
--- a/www/katla.sh
+++ b/www/katla.sh
@@ -10,7 +10,8 @@ while IFS= read -r rawfile; do
     htmlfile="${htmldir}/${filename}.html"
     mkdir -p "${htmldir}"
     idris2 -c "${rawfile}"
-    katla markdown "$rawfile" "build/ttc/source/${filename}.ttm" >"$mdfile"
+    ttc_version=$(ls build/ttc)
+    katla markdown "$rawfile" "build/ttc/${ttc_version}/source/${filename}.ttm" >"$mdfile"
     markdown "$mdfile" >"$htmlfile"
     # rm "$mdfile"
 done <tmp
