diff options
| author | Jan Engelhardt <jengelh@inai.de> | 2014-02-17 03:58:37 +0100 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2014-02-17 19:03:07 -0500 |
| commit | 3c8fa0fd0f99996088e42c5d48e164fdae4ada40 (patch) | |
| tree | e1628b583bd3508701590e39273c7ec3017dfc99 /man/localtime.xml | |
| parent | dc968941bfc9be464e1df15afa05693dec3ec192 (diff) | |
doc: properly use XML entities
Diffstat (limited to 'man/localtime.xml')
| -rw-r--r-- | man/localtime.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/localtime.xml b/man/localtime.xml index b7fd1ba15d..dbf2379e7d 100644 --- a/man/localtime.xml +++ b/man/localtime.xml @@ -55,7 +55,7 @@ </refnamediv> <refsynopsisdiv> - <para><filename>/etc/localtime</filename> -> <filename>../usr/share/zoneinfo/…</filename></para> + <para><filename>/etc/localtime</filename> -> <filename>../usr/share/zoneinfo/…</filename></para> </refsynopsisdiv> <refsect1> |