diff options
Diffstat (limited to 'man')
-rw-r--r-- | man/man1/mi5.1df | 2 |
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 |