From 353c5dcda5f9a67e09ac2e7003c4c2a59268641c Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Mon, 17 Feb 2020 08:29:19 -0500
Subject: [coqdep] Tweak changelog after recent PRs.

---
 doc/changelog/08-tools/11523-coqdep+refactor2.rst | 13 ++++++++-----
 1 file changed, 8 insertions(+), 5 deletions(-)

diff --git a/doc/changelog/08-tools/11523-coqdep+refactor2.rst b/doc/changelog/08-tools/11523-coqdep+refactor2.rst
index 90c23d8b76..32a4750b73 100644
--- a/doc/changelog/08-tools/11523-coqdep+refactor2.rst
+++ b/doc/changelog/08-tools/11523-coqdep+refactor2.rst
@@ -1,7 +1,10 @@
 - **Changed:**
-  Internal options and behavior of ``coqdep`` have changed, in particular
-  options ``-w``, ``-D``, ``-mldep``, and ``-dumpbox`` have been removed,
-  and ``-boot`` will not load any path by default, ``-R/-Q`` should be
-  used instead
-  (`#11523 <https://github.com/coq/coq/pull/11523>`_,
+  Internal options and behavior of ``coqdep`` have changed. ``coqdep``
+  no longer works as a replacement for ``ocamldep``, thus ``.ml``
+  files are not supported as input. Also, several deprecated options
+  have been removed: ``-w``, ``-D``, ``-mldep``, ``-prefix``,
+  ``-slash``, and ``-dumpbox``. Passing ``-boot`` to ``coqdep`` will
+  not load any path by default now, ``-R/-Q`` should be used instead.
+  (`#11523 <https://github.com/coq/coq/pull/11523>`_ and
+  `#11589 <https://github.com/coq/coq/pull/11589>`_,
   by Emilio Jesus Gallego Arias).
-- 
cgit v1.2.3