diff options
-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; } |