From 689a8dcd5f5447be9a479f500269119a8e41c137 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Thu, 18 May 2017 22:34:54 +0200
Subject: [PATCH] Update Figure With Caption -> Captioned Figure in MANUAL.txt.
---
MANUAL.txt | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/MANUAL.txt b/MANUAL.txt
index d99cd0600..51b324817 100644
--- a/MANUAL.txt
+++ b/MANUAL.txt
@@ -864,7 +864,7 @@ Options affecting specific writers
Heading 2, Heading 3, Heading 4, Heading 5, Heading 6,
Heading 7, Heading 8, Heading 9, Block Text, Footnote Text,
Definition Term, Definition, Caption, Table Caption,
- Image Caption, Figure, Figure With Caption, TOC Heading;
+ Image Caption, Figure, Captioned Figure, TOC Heading;
[character] Default Paragraph Font, Body Text Char,
Verbatim Char, Footnote Reference, Hyperlink; [table]
Normal Table.