diff options
Diffstat (limited to 'brep/options.cli')
| -rw-r--r-- | brep/options.cli | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/brep/options.cli b/brep/options.cli index 986432a..f3d26d0 100644 --- a/brep/options.cli +++ b/brep/options.cli @@ -86,10 +86,8 @@ namespace brep "<label=link>", "Web page menu. Each entry is displayed in the page header in the order specified and aligned to the right edge. A link target that starts - with \cb{/} or contains \cb{:} is used as is. Otherwise, it is prefixed - with the repository web interface root." - - // @@ Might need updating. + with '\cb{/}' or contains '\cb{:}' is used as is. Otherwise, it is + prefixed with the repository web interface root." } }; |