From a4dcd397c911ceb46f3116540b98092354aa85c5 Mon Sep 17 00:00:00 2001 From: Nathan McCarty Date: Fri, 20 Dec 2024 10:40:27 +0000 Subject: [PATCH] note --- src/upload.raku | 1 + 1 file changed, 1 insertion(+) diff --git a/src/upload.raku b/src/upload.raku index 09e1b98..ed5ade7 100755 --- a/src/upload.raku +++ b/src/upload.raku @@ -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/katla.dhall", $source-file, $ttm-file, :out; my $contents = $katla.out.slurp :close;