From 7f1ed3298c841c2afa4faf080a5f65361bbb413f Mon Sep 17 00:00:00 2001
From: Clément Pit-Claudel
Date: Mon, 30 Jul 2018 15:14:53 -0400
Subject: [sphinx] Use arguments of '.. example::' directive as a title

Most existing uses of .. example did not use the first line as a title, so this
commit also adds appropriate blank lines.
---
 doc/sphinx/addendum/miscellaneous-extensions.rst | 1 +
 1 file changed, 1 insertion(+)

(limited to 'doc/sphinx/addendum')

diff --git a/doc/sphinx/addendum/miscellaneous-extensions.rst b/doc/sphinx/addendum/miscellaneous-extensions.rst
index b6c35d8fa7..0f2d35d044 100644
--- a/doc/sphinx/addendum/miscellaneous-extensions.rst
+++ b/doc/sphinx/addendum/miscellaneous-extensions.rst
@@ -32,6 +32,7 @@ When the proof ends two constants are defined:
   ends with ``Qed``, and transparent if the proof ends with ``Defined``.
 
 .. example::
+
   .. coqtop:: all
 
      Require Coq.derive.Derive.
-- 
cgit v1.2.3