2020-09-30 03:42:59 +00:00
|
|
|
# Render a Markdown file to HTML.
|
2022-05-19 14:39:52 +00:00
|
|
|
{ depot, pkgs, ... }:
|
2020-09-30 03:42:59 +00:00
|
|
|
|
|
|
|
|
with depot.nix.yants;
|
|
|
|
|
|
2022-10-02 21:23:44 +00:00
|
|
|
defun [ path drv ] (file: pkgs.runCommand "${file}.rendered.html" { } ''
|
2020-09-30 03:42:59 +00:00
|
|
|
cat ${file} | ${depot.tools.cheddar}/bin/cheddar --about-filter ${file} > $out
|
|
|
|
|
'')
|
