diff options
author | sternenseemann <git@lukasepple.de> | 2020-05-19 13:41:46 +0200 |
---|---|---|
committer | sternenseemann <git@lukasepple.de> | 2020-05-19 13:41:46 +0200 |
commit | 1bf0b9198ef53aa5e22842a7e0a8cabe1054f14d (patch) | |
tree | 4061ecea3869d9c090e2d80d20927e74e65fe3ba | |
parent | 5e1c7fc977e45a3e030ddeba00e3cab633455e30 (diff) |
install html rendering of CHANGES.log
-rw-r--r-- | doc/dune | 10 | ||||
-rw-r--r-- | logbook.nix | 5 |
2 files changed, 14 insertions, 1 deletions
diff --git a/doc/dune b/doc/dune index 13c6cab..3ebefb7 100644 --- a/doc/dune +++ b/doc/dune @@ -1,3 +1,13 @@ (install (section man) (files logbook.1 logbook-log.7 logbook-template.7)) + +(install + (section doc) + (files (CHANGES.html as html/CHANGES.html))) + +(rule + (target CHANGES.html) + (action + (chdir .. (system "%{deps} --public --markdown --file CHANGES.log > %{target}"))) + (deps ../src/logbook.exe)) diff --git a/logbook.nix b/logbook.nix index 8266f1e..dc3f548 100644 --- a/logbook.nix +++ b/logbook.nix @@ -11,7 +11,10 @@ buildDunePackage rec { propagatedBuildInputs = [ ptime angstrom astring ]; postBuild = "dune build @doc"; - postInstall = "cp -r _build/default/_doc/_html $out/doc/logbook/html"; + postInstall = '' + mkdir -p $out/doc/logbook/html + cp -r _build/default/_doc/_html/* $out/doc/logbook/html + ''; useDune2 = true; } |