X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fdaemon-syn.man;h=fcc15cce1304201217fc8aed98b8e9b74583754d;hb=66e7d7a2cd928a5f1c64c7289b042d2fe2ebc21e;hp=49705644e3efe6df0795d1c34ace85f9b98cda5a;hpb=a4af00400a835eb87569ba40e21874c05e872c0f;p=openvswitch

diff --git a/lib/daemon-syn.man b/lib/daemon-syn.man
index 49705644..fcc15cce 100644
--- a/lib/daemon-syn.man
+++ b/lib/daemon-syn.man
@@ -1,5 +1,5 @@
 .IP "Daemon options:"
-[\fB--pidfile\fR[\fB=\fIpidfile\fR]]
-[\fB--overwrite-pidfile\fR]
-[\fB--detach\fR]
-[\fB--no-chdir\fR]
+[\fB\-\-pidfile\fR[\fB=\fIpidfile\fR]]
+[\fB\-\-overwrite\-pidfile\fR]
+[\fB\-\-detach\fR]
+[\fB\-\-no\-chdir\fR]