Add high-intensity colors option and cli flag.

2022-11-16 18:59:14 -03:00
parent c515ea8a47
commit 4922d25917
6 changed files with 18 additions and 1 deletions
--- a/doc/MANUAL.html
+++ b/doc/MANUAL.html
@@ -105,6 +105,14 @@ insertions tagged with "mh 2016-03-29" and "mh 2016-06-11" come from the latest
     with no other target defined, use the bookmark page for startup
    </p>
   </dd>
+   <dt>
+    -H
+   </dt>
+   <dd>
+    <p>
+    use high-intensity colors
+    </p>
+   </dd>
   <dt>
    -M
   </dt>