X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fvlog-syn.man;h=3df967ad17122211797555623457ba9aed3b45bf;hb=9dbc190c816b51dad3ca80bb9fb3835769758781;hp=873b2f0ba3d689daf62600754ca9b82cdec04f8f;hpb=f7f62235b12e5769096dab86980247265b8c4b71;p=openvswitch

diff --git a/lib/vlog-syn.man b/lib/vlog-syn.man
index 873b2f0b..3df967ad 100644
--- a/lib/vlog-syn.man
+++ b/lib/vlog-syn.man
@@ -1,6 +1,6 @@
 .IP "Logging options:"
-[\fB-v\fR[\fImodule\fR[\fB:\fIfacility\fR[\fB:\fIlevel\fR]]]]\&...
+[\fB\-v\fR[\fImodule\fR[\fB:\fIfacility\fR[\fB:\fIlevel\fR]]]]\&...
 .br
-[\fB--verbose[=\fImodule\fR[\fB:\fIfacility\fR[\fB:\fIlevel\fR]]]]\&...
+[\fB\-\-verbose[=\fImodule\fR[\fB:\fIfacility\fR[\fB:\fIlevel\fR]]]]\&...
 .br
-[\fB--log-file\fR[\fB=\fIfile\fR]]
+[\fB\-\-log\-file\fR[\fB=\fIfile\fR]]