aboutsummaryrefslogtreecommitdiff
path: root/doc/dune
diff options
context:
space:
mode:
authorThéo Zimmermann2019-04-30 11:42:23 +0200
committerThéo Zimmermann2019-05-05 19:23:27 +0200
commit81301b55df9c52fe5503421eb9527bb04a1643e0 (patch)
tree14cf08848ff1178e150d713c3a41386843d974b4 /doc/dune
parent30d6ffdd4546d56c517bef5b31a862c5454240f0 (diff)
Create categories in changelog.
Diffstat (limited to 'doc/dune')
-rw-r--r--doc/dune2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/dune b/doc/dune
index 06f78013aa..3a8efbb36d 100644
--- a/doc/dune
+++ b/doc/dune
@@ -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