diff options
Diffstat (limited to 'MANUAL.txt')
-rw-r--r-- | MANUAL.txt | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/MANUAL.txt b/MANUAL.txt index 9cfd6026a..9ac79da2e 100644 --- a/MANUAL.txt +++ b/MANUAL.txt @@ -478,11 +478,6 @@ Reader options underlying document (which is accessible from filters and may be printed in some output formats). -`--normalize` - -: Normalize the document after reading: merge adjacent - `Str` or `Emph` elements, for example, and remove repeated `Space`s. - `-p`, `--preserve-tabs` : Preserve tabs instead of converting them to spaces (the default). |