Merge pull request #251 from nsanmartin/high-intensity-colors

Add high-intensity colors option and cli flag.
2023-01-04 19:16:58 +09:00
commit 57b6c8ecd1
@@ -110,6 +110,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>