From ce233d5b4a6f8d506c37a2a492679a66f9618a94 Mon Sep 17 00:00:00 2001 From: Thomas Letan Date: Wed, 29 Jul 2020 14:53:19 +0200 Subject: coqdoc: Fix the “details” environment The change introduced by 41a1d66 has broken the feature prior to its initial release. We attempt to fix the issue, and add a comment to warn feature developers in order to avoid facing the same issue again. --- doc/changelog/08-tools/12772-fix-details.rst | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 doc/changelog/08-tools/12772-fix-details.rst (limited to 'doc') diff --git a/doc/changelog/08-tools/12772-fix-details.rst b/doc/changelog/08-tools/12772-fix-details.rst new file mode 100644 index 0000000000..67ee061285 --- /dev/null +++ b/doc/changelog/08-tools/12772-fix-details.rst @@ -0,0 +1,5 @@ +- **Fixed:** + The `details` environment added in the 8.12 release can now be used + as advertised in the reference manual + (`#12772 `_, + by Thomas Letan). -- cgit v1.2.3