aboutsummaryrefslogtreecommitdiff
path: root/brep
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2016-01-04 16:28:33 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2016-01-04 16:28:33 +0200
commit7ef4c9bcf1873862d59d071af07be0679fb44054 (patch)
tree06b0dcbb8ba38fe47a8d69053a3993d6c11f754e /brep
parent1de1e45d2496e649f770530febcbe9c0dd37aba0 (diff)
Use /pkg instead of /pkg/ in brep-root for consistency with Location
Diffstat (limited to 'brep')
-rw-r--r--brep/options.cli2
1 files changed, 1 insertions, 1 deletions
diff --git a/brep/options.cli b/brep/options.cli
index d78a19f..3cafa3f 100644
--- a/brep/options.cli
+++ b/brep/options.cli
@@ -21,7 +21,7 @@ namespace brep
"<path>"
"Repository root. That is, this is the part of the URL between the
host name and the start of the repository. For example, root value
- '\cb{/pkg/}' means the repository URL is http://example.org/pkg/.
+ '\cb{/pkg}' means the repository URL is http://example.org/pkg/.
Specify '\cb{/}' to use the web server root (http://example.org/)."
}