aboutsummaryrefslogtreecommitdiff
path: root/man
diff options
context:
space:
mode:
authorTom Ryder <tom@sanctum.geek.nz>2017-07-02 17:36:37 +1200
committerTom Ryder <tom@sanctum.geek.nz>2017-07-02 22:57:07 +1200
commit95276f25769a0607cda50041169197d0522b98ff (patch)
tree3a4738901390c94f76de6ee7b6394d39b4c1ed00 /man
parentCoerce seed to number (diff)
downloaddotfiles-95276f25769a0607cda50041169197d0522b98ff.tar.gz
dotfiles-95276f25769a0607cda50041169197d0522b98ff.zip
Lots of cleanup of awk scripts
Mostly inspired by suggestions from gawk --lint
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