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;