2020-08-10 23:48:05 +02:00
|
|
|
# Render a Markdown file to HTML.
|
2021-04-10 18:05:16 +02:00
|
|
|
{ depot, pkgs, ... }:
|
2020-08-10 23:48:05 +02:00
|
|
|
|
|
|
|
with depot.nix.yants;
|
|
|
|
|
2022-01-30 17:06:58 +01:00
|
|
|
defun [ path drv ] (file: pkgs.runCommandNoCC "${file}.rendered.html" { } ''
|
2020-08-10 23:48:05 +02:00
|
|
|
cat ${file} | ${depot.tools.cheddar}/bin/cheddar --about-filter ${file} > $out
|
|
|
|
'')
|