From fb76275a7abaabaaac40ee61186fe5ca0b6950ec Mon Sep 17 00:00:00 2001
From: Yu Watanabe <watanabe.yu+github@gmail.com>
Date: Tue, 16 Jan 2018 22:22:14 +0900
Subject: [PATCH] man: remove duplicated line

Follow-up for c46bc7e2162d774f55847c1a8cb9d49085cf89bb.
---
 man/machinectl.xml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/man/machinectl.xml b/man/machinectl.xml
index 94f2ba511c..1adebf5da0 100644
--- 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,