This commit is contained in:
Nathan McCarty 2024-12-20 10:40:27 +00:00
parent 57ac48e167
commit a4dcd397c9

View file

@ -39,6 +39,7 @@ sub render-idris-file($idr) {
# Bail out now if the ttm doesn't exist
return unless $ttm-file ~~ :e;
# Generate the html
# TODO: Stop relying on the config for now and just colorize it in regexs
my $katla = run <katla html --config>, "katla/katla.dhall",
$source-file, $ttm-file, :out;
my $contents = $katla.out.slurp :close;