Documentation: avoid xmlto input error

Do not write literal "~/" or "~user" but use "{tilde}/" and "{tilde}user";
otherwise the text between them gets enclosed in
"<subscript>...</subscript>".

Signed-off-by: Junio C Hamano <gitster@pobox.com>

diff --git a/Documentation/config.txt b/Documentation/config.txt
index 143afb82ebca18fe8b122e885e5f5c1736d6f2f6..56db07cbcad7f1686a955443be03bdda330ad94a 100644 (file)
--- a/Documentation/config.txt
+++ b/Documentation/config.txt
@@ -380,8 +380,8 @@ Common unit suffixes of 'k', 'm', or 'g' are supported.
 core.excludesfile::
        In addition to '.gitignore' (per-directory) and
        '.git/info/exclude', git looks into this file for patterns
 core.excludesfile::
        In addition to '.gitignore' (per-directory) and
        '.git/info/exclude', git looks into this file for patterns

-       of files which are not meant to be tracked.  "~/" is expanded
-       to the value of `$HOME` and "~user/" to the specified user's
+       of files which are not meant to be tracked.  "{tilde}/" is expanded
+       to the value of `$HOME` and "{tilde}user/" to the specified user's

        home directory.  See linkgit:gitignore[5].
 
 core.editor::
        home directory.  See linkgit:gitignore[5].
 
 core.editor::


@@ -667,7 +667,7 @@ color.ui::
 
 commit.template::
        Specify a file to use as the template for new commit messages.
 
 commit.template::
        Specify a file to use as the template for new commit messages.

-       "~/" is expanded to the value of `$HOME` and "~user/" to the
+       "{tilde}/" is expanded to the value of `$HOME` and "{tilde}user/" to the

        specified user's home directory.
 
 diff.autorefreshindex::
        specified user's home directory.
 
 diff.autorefreshindex::