diff options
| -rw-r--r-- | MANUAL.txt | 3 |
1 files changed, 2 insertions, 1 deletions
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` |