summaryrefslogtreecommitdiff
path: root/man
diff options
context:
space:
mode:
authorVincent Lefevre <vincent-fdt@vinc17.net>2020-07-30 14:01:44 +0000
committerThomas Haller <thaller@redhat.com>2020-07-30 17:52:12 +0200
commita938f4f018f6fc9b35297b2320c5e295742ab087 (patch)
tree4541a01570ff85b170190c09f91c54a0ada85109 /man
parent94e2348c54ba8a7815e79d5dcdbe3364d05d6173 (diff)
man: fix a typo
https://gitlab.freedesktop.org/NetworkManager/NetworkManager/-/merge_requests/594
Diffstat (limited to 'man')
-rw-r--r--man/NetworkManager.conf.xml2
1 files changed, 1 insertions, 1 deletions
diff --git a/man/NetworkManager.conf.xml b/man/NetworkManager.conf.xml
index 6f23dd2b2d..aac80a0878 100644
--- a/man/NetworkManager.conf.xml
+++ b/man/NetworkManager.conf.xml
@@ -179,7 +179,7 @@ plugins-=remove-me
option uses a built-in DHCP client which is not currently as
featureful as the external clients.</para>
<para>If this key is missing, it defaults to <literal>&NM_CONFIG_DEFAULT_MAIN_DHCP;</literal>.
- It the chosen plugin is not available, clients are looked for
+ If the chosen plugin is not available, clients are looked for
in this order: <literal>dhclient</literal>, <literal>dhcpcd</literal>,
<literal>internal</literal>.</para></listitem>
</varlistentry>