From 9b23b738cb28df357868fc0febff18e9c7c86b95 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Sun, 26 Sep 2021 21:20:27 -0700
Subject: [PATCH] Update documentation for definition_list extension.

In 2015, we relaxed indentation requirements for the first
line of a definition (see commit d3544dc and issue #2087), but
the documnentation wasn't updated to reflect the change.

Closes #7594.
---
 MANUAL.txt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/MANUAL.txt b/MANUAL.txt
index 3551b2a32..7793b509c 100644
--- a/MANUAL.txt
+++ b/MANUAL.txt
@@ -3749,8 +3749,8 @@ or two spaces.
 A term may have multiple definitions, and each definition may
 consist of one or more block elements (paragraph, code block,
 list, etc.), each indented four spaces or one tab stop.  The
-body of the definition (including the first line, aside from the
-colon or tilde) should be indented four spaces. However, as with
+body of the definition (not including the first line)
+should be indented four spaces. However, as with
 other Markdown lists, you can "lazily" omit indentation except
 at the beginning of a paragraph or other block element: