1 files changed, 7 insertions, 1 deletions
diff --git a/Makefile.doc b/Makefile.doc
index 23aa66a1b8..25d146000b 100644
--- a/Makefile.doc
+++ b/Makefile.doc
@@ -66,7 +66,7 @@ SPHINX_DEPS := coq
 endif
 
 # refman-html and refman-latex
-refman-%: $(SPHINX_DEPS)
+refman-%: $(SPHINX_DEPS) doc/unreleased.rst
 	$(SHOW)'SPHINXBUILD doc/sphinx ($*)'
 	$(HIDE)$(SPHINXENV) $(SPHINXBUILD) -b $* \
 		$(ALLSPHINXOPTS) doc/sphinx $(SPHINXBUILDDIR)/$*
@@ -116,6 +116,12 @@ plugin-tutorial: states tools
 doc/common/version.tex: config/Makefile
 	printf '\\newcommand{\\coqversion}{$(VERSION)}' > doc/common/version.tex
 
+### Changelog
+
+doc/unreleased.rst: $(wildcard doc/changelog/00-title.rst doc/changelog/*/*.rst)
+	$(SHOW)'AGGREGATE $@'
+	$(HIDE)cat doc/changelog/00-title.rst doc/changelog/*/*.rst > $@
+
 ######################################################################
 # Standard library
 ######################################################################