From 4d02432c918d9ce431bf6c3e3d2b7410093dfbb5 Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Thu, 11 Feb 2016 08:31:34 +0200
Subject: Add support for re-mapping HTML headings

---
 cli/options.cli | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'cli/options.cli')

diff --git a/cli/options.cli b/cli/options.cli
index 8a4a3e0..501cc82 100644
--- a/cli/options.cli
+++ b/cli/options.cli
@@ -256,6 +256,14 @@ class options
      expressions don't do what you expected them to do."
   };
 
+  std::map<char, std::string> --html-heading-map
+  {
+    "<c>=<h>",
+    "Map CLI heading <c> (valid values: '\cb{H}', '\cb{0}', '\cb{1}',
+     '\cb{h}', and '\cb{2}') to HTML heading <h> (for example, '\cb{h1}',
+     '\cb{h2}', etc)."
+  };
+
   // Prologues.
   //
   std::vector<std::string> --hxx-prologue
-- 
cgit v1.1