diff options
| -rw-r--r-- | MANUAL.txt | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/MANUAL.txt b/MANUAL.txt index c92b46482..f1e6f4db2 100644 --- a/MANUAL.txt +++ b/MANUAL.txt @@ -507,8 +507,9 @@ header when requesting a document from a URL: `--base-header-level=`*NUMBER* -: *Deprecated. Use `--shift-heading-level-by` instead.* - Specify the base level for headings (defaults to 1). +: *Deprecated. Use `--shift-heading-level-by`=X instead, + where X = NUMBER - 1.* Specify the base level for headings + (defaults to 1). `--strip-empty-paragraphs` |