From 230dcbb9a843a0e89ad79de70bf3d9f2a14b317b Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Wed, 5 Feb 2020 15:04:05 +0100
Subject: [coqdep] Add changelog for recent modifications.

---
 doc/changelog/08-tools/11523-coqdep+refactor2.rst | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 doc/changelog/08-tools/11523-coqdep+refactor2.rst

(limited to 'doc')

diff --git a/doc/changelog/08-tools/11523-coqdep+refactor2.rst b/doc/changelog/08-tools/11523-coqdep+refactor2.rst
new file mode 100644
index 0000000000..90c23d8b76
--- /dev/null
+++ b/doc/changelog/08-tools/11523-coqdep+refactor2.rst
@@ -0,0 +1,7 @@
+- **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>`_,
+  by Emilio Jesus Gallego Arias).
-- 
cgit v1.2.3