aboutsummaryrefslogtreecommitdiff
path: root/man
diff options
context:
space:
mode:
Diffstat (limited to 'man')
-rw-r--r--man/man1/mi5.1df2
1 files changed, 1 insertions, 1 deletions
diff --git a/man/man1/mi5.1df b/man/man1/mi5.1df
index 6466f35d..53d98bf1 100644
--- a/man/man1/mi5.1df
+++ b/man/man1/mi5.1df
@@ -7,7 +7,7 @@
FILE > out.m4
.br
.B mi5
--v open='{{{' -v shut='}}}' FILE > out.m4
+open='{{{' shut='}}}' FILE > out.m4
.br
.B mi5
FILE1 FILE2 > out.m4