From 18b530d613f8f40db98f6e370c30eb356dfb6e3d Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Fri, 20 Dec 2019 17:03:47 -0800
Subject: [PATCH] MANUAL: A bit clearer explanation for `--base-header-level`.

We now say exactly how to work around the deprecation of this
option.
---
 MANUAL.txt | 5 +++--
 1 file 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`