diff options
| author | Théo Zimmermann | 2019-04-30 11:42:23 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-05-05 19:23:27 +0200 |
| commit | 81301b55df9c52fe5503421eb9527bb04a1643e0 (patch) | |
| tree | 14cf08848ff1178e150d713c3a41386843d974b4 /doc/dune | |
| parent | 30d6ffdd4546d56c517bef5b31a862c5454240f0 (diff) | |
Create categories in changelog.
Diffstat (limited to 'doc/dune')
| -rw-r--r-- | doc/dune | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -23,7 +23,7 @@ (rule (targets unreleased.rst) (deps (source_tree changelog)) - (action (with-stdout-to %{targets} (bash "cat changelog/*.rst")))) + (action (with-stdout-to %{targets} (bash "cat changelog/00-title.rst changelog/*/*.rst")))) ; The install target still needs more work. ; (install |
