man: remove duplicated line

Follow-up for c46bc7e2162d774f55847c1a8cb9d49085cf89bb.

diff --git a/man/machinectl.xml b/man/machinectl.xml
index 94f2ba511c2724b2dce2ab3ee198aec3383e9a97..1adebf5da0c1b7508b02b7a9ea7d67604312eae3 100644 (file)
--- a/man/machinectl.xml
+++ b/man/machinectl.xml
@@ -439,7 +439,6 @@
         specified, the connection is made to the local host
         instead. This works similar to <command>login</command> but
         immediately invokes a user process. This command runs the
-        specified executable with the specified arguments, or
         specified executable with the specified arguments, or the
         default shell for the user if none is specified, or
         <filename>/bin/sh</filename> if no default shell is found. By default,