From 2f33fce7ac580d1966476d6d2c0f06a3ec920e6d Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Wed, 27 Nov 2019 20:24:31 +0100
Subject: Changelog entry for #11187.

---
 doc/changelog/07-commands-and-options/11187-remove-addpath.rst | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 doc/changelog/07-commands-and-options/11187-remove-addpath.rst

(limited to 'doc')

diff --git a/doc/changelog/07-commands-and-options/11187-remove-addpath.rst b/doc/changelog/07-commands-and-options/11187-remove-addpath.rst
new file mode 100644
index 0000000000..283c44fda6
--- /dev/null
+++ b/doc/changelog/07-commands-and-options/11187-remove-addpath.rst
@@ -0,0 +1,5 @@
+- Removed legacy commands ``AddPath``, ``AddRecPath``, and ``DelPath``
+  which were undocumented, broken variants of :cmd:`Add LoadPath`,
+  :cmd:`Add Rec LoadPath`, and :cmd:`Remove LoadPath`
+  (`#11187 <https://github.com/coq/coq/pull/11187>`_,
+  by Maxime Dénès and Théo Zimmermann).
-- 
cgit v1.2.3