diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2019-06-20 13:33:06 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2019-06-20 13:33:06 +0200 |
commit | 0fb013df6c8a278bcd0b2fe12f4347865b18ec8d (patch) | |
tree | ba756be21154bb155fc7da0d84674bb5abeb5d1b | |
parent | cde3ea58802c700ed8fd3b11e46eb973a7018a12 (diff) |
Add anchor to OPTIONS section in b(1)
-rw-r--r-- | build2/b.cli | 2 |
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 { |