From deb35e4fc79909e0695fa719847394f1f8567442 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Tue, 23 Apr 2019 19:05:53 +0200
Subject: Change entry for #9906.

---
 doc/sphinx/changes.rst | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'doc/sphinx')

diff --git a/doc/sphinx/changes.rst b/doc/sphinx/changes.rst
index d8ea9c1552..0a9e9b55ff 100644
--- a/doc/sphinx/changes.rst
+++ b/doc/sphinx/changes.rst
@@ -256,6 +256,9 @@ Other changes in 8.10+beta1
     and `#9705 <https://github.com/coq/coq/issues/9705>`_,
     by Jason Gross)
 
+  - coq_makefile's install target now errors if any file to install is missing
+    (`#9906 <https://github.com/coq/coq/pull/9906>`_, by Gaëtan Gilbert).
+
 - Specification language, type inference:
 
   - Fixing a missing check in interpreting instances of existential
-- 
cgit v1.2.3