aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2019-06-20 13:33:06 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2019-06-20 13:33:06 +0200
commit0fb013df6c8a278bcd0b2fe12f4347865b18ec8d (patch)
treeba756be21154bb155fc7da0d84674bb5abeb5d1b
parentcde3ea58802c700ed8fd3b11e46eb973a7018a12 (diff)
Add anchor to OPTIONS section in b(1)
-rw-r--r--build2/b.cli2
1 files changed, 1 insertions, 1 deletions
diff --git a/build2/b.cli b/build2/b.cli
index 03de044..802a160 100644
--- a/build2/b.cli
+++ b/build2/b.cli
@@ -387,7 +387,7 @@ namespace build2
class options
{
- "\h|OPTIONS|"
+ "\h#options|OPTIONS|"
bool -v
{