From 0fb013df6c8a278bcd0b2fe12f4347865b18ec8d Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Thu, 20 Jun 2019 13:33:06 +0200 Subject: Add anchor to OPTIONS section in b(1) --- build2/b.cli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 { -- cgit v1.1