diff options
| author | Miklos Vajna <vmiklos@frugalware.org> | 2008-12-16 16:48:12 +0100 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2008-12-17 00:56:36 -0800 |
| commit | 4fce51cf415909be84e3a1449900e3fdea775b76 (patch) | |
| tree | e09b7ee7c053af0b076df148bc73f71dffc3b8ba | |
| parent | b54dc9fdb993a54bba11df3f247e836158b8c1f0 (diff) | |
| download | git-4fce51cf415909be84e3a1449900e3fdea775b76.tar.gz git-4fce51cf415909be84e3a1449900e3fdea775b76.tar.xz | |
git-daemon documentation: use {tilde}
Use '{tilde}' instead of '~', becase the later does not appear in the
manpage version, just in the HTML one.
Noticed by gonzzor on IRC.
Signed-off-by: Miklos Vajna <vmiklos@frugalware.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
| -rw-r--r-- | Documentation/git-daemon.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Documentation/git-daemon.txt b/Documentation/git-daemon.txt index f1a570a87..36f00aed6 100644 --- a/Documentation/git-daemon.txt +++ b/Documentation/git-daemon.txt @@ -110,9 +110,9 @@ OPTIONS --user-path:: --user-path=path:: - Allow ~user notation to be used in requests. When + Allow {tilde}user notation to be used in requests. When specified with no parameter, requests to - git://host/~alice/foo is taken as a request to access + git://host/{tilde}alice/foo is taken as a request to access 'foo' repository in the home directory of user `alice`. If `--user-path=path` is specified, the same request is taken as a request to access `path/foo` repository in |