From d50433a9ca321ed0b28996567f72ac9654bf4422 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Sat, 4 May 2019 14:18:22 +0200
Subject: [make] build unreleased.rst

---
 Makefile.doc | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'Makefile.doc')

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
 ######################################################################
-- 
cgit v1.2.3