Documentation: avoid xmlto input error
commit0f7fb21a7aec7ab8047536af018daa981b3b2676
authorJunio C Hamano <gitster@pobox.com>
Sat, 21 Nov 2009 08:37:26 +0000 (21 00:37 -0800)
committerJunio C Hamano <gitster@pobox.com>
Sat, 21 Nov 2009 08:37:26 +0000 (21 00:37 -0800)
tree41f25c9b2cce9a3c4b794b7df9faac6681049526
parentdf2a79f4225b7216dce010ebfe41f8ad0de34b24
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>
Documentation/config.txt