diff options
| author | Junio C Hamano <gitster@pobox.com> | 2009-11-21 00:37:26 -0800 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2009-11-21 00:37:26 -0800 |
| commit | 0f7fb21a7aec7ab8047536af018daa981b3b2676 (patch) | |
| tree | 41f25c9b2cce9a3c4b794b7df9faac6681049526 | |
| parent | df2a79f4225b7216dce010ebfe41f8ad0de34b24 (diff) | |
| download | git-0f7fb21a7aec7ab8047536af018daa981b3b2676.tar.gz | |
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>
| -rw-r--r-- | Documentation/config.txt | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Documentation/config.txt b/Documentation/config.txt index 143afb82eb..56db07cbca 100644 --- 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 - 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:: @@ -667,7 +667,7 @@ color.ui:: 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:: |