diff options
Diffstat (limited to 'doc/dune')
-rw-r--r-- | doc/dune | 10 |
1 files changed, 10 insertions, 0 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)) |