MANUAL: A bit clearer explanation for `--base-header-level`.
We now say exactly how to work around the deprecation of this
option.
commit18b530d613f8f40db98f6e370c30eb356dfb6e3d
authorJohn MacFarlane <jgm@berkeley.edu>
dateFri 20 Dec 2019, 17:03 (7 years ago)
parent2c13773
MANUAL.txt+3−2
@@ -507,8 +507,9 @@ header when requesting a document from a URL:
507507
508508`--base-header-level=`*NUMBER*
509509
510−: *Deprecated. Use `--shift-heading-level-by` instead.*
511− Specify the base level for headings (defaults to 1).
510+: *Deprecated. Use `--shift-heading-level-by`=X instead,
511+ where X = NUMBER - 1.* Specify the base level for headings
512+ (defaults to 1).
512513
513514`--strip-empty-paragraphs`
514515