From 95276f25769a0607cda50041169197d0522b98ff Mon Sep 17 00:00:00 2001 From: Tom Ryder Date: Sun, 2 Jul 2017 17:36:37 +1200 Subject: Lots of cleanup of awk scripts Mostly inspired by suggestions from gawk --lint --- man/man1/mi5.1df | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'man') 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 -- cgit v1.2.3