From 697c814286cbd9718f2ac0c229dfe4230684087e Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Fri, 4 Mar 2022 10:00:02 -0800
Subject: [PATCH] Note in manual that smart works for html input.

---
 MANUAL.txt | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/MANUAL.txt b/MANUAL.txt
index 65e4b30e3..8351a597a 100644
--- a/MANUAL.txt
+++ b/MANUAL.txt
@@ -3167,7 +3167,8 @@ inserted after certain abbreviations, such as "Mr."
 This extension can be enabled/disabled for the following formats:
 
 input formats
-:  `markdown`, `commonmark`, `latex`, `mediawiki`, `org`, `rst`, `twiki`
+:  `markdown`, `commonmark`, `latex`, `mediawiki`, `org`, `rst`, `twiki`,
+   `html`
 
 output formats
 :  `markdown`, `latex`, `context`, `rst`