From c63c3970fe4ffcd7a2aa8fa6e17c3f94f06762f9 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Thu, 19 Nov 2020 19:02:42 +0100
Subject: [changelog] Indicate a replacement for deprecated syntax of debug /
 info_eauto.

---
 doc/changelog/04-tactics/13381-bfs_eauto.rst | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/changelog/04-tactics/13381-bfs_eauto.rst b/doc/changelog/04-tactics/13381-bfs_eauto.rst
index a51f96d0a2..f37fbfe52b 100644
--- a/doc/changelog/04-tactics/13381-bfs_eauto.rst
+++ b/doc/changelog/04-tactics/13381-bfs_eauto.rst
@@ -1,6 +1,6 @@
 - **Deprecated:**
   Undocumented :n:`eauto @int_or_var @int_or_var` syntax in favor of new ``bfs eauto``.
-  Also deprecated 2-integer syntax for ``debug eauto`` and ``info_eauto``;
-  replacement TBD.
+  Also deprecated 2-integer syntax for ``debug eauto`` and ``info_eauto``.
+  (Use ``bfs eauto`` with the :flag:`Info Eauto` or :flag:`Debug Eauto` flags instead.)
   (`#13381 <https://github.com/coq/coq/pull/13381>`_,
   by Jim Fehrle).
-- 
cgit v1.2.3