From ff1aceba3bf6ab8c87f5b89fa398af6a70cc77be Mon Sep 17 00:00:00 2001
From: William McBrine <wmcbrine@gmail.com>
Date: Mon, 1 Apr 2019 09:09:38 -0400
Subject: [PATCH] Spacing

---
 man/manext.awk | 16 +++++++---------
 1 file changed, 7 insertions(+), 9 deletions(-)

diff --git a/man/manext.awk b/man/manext.awk
index a0d096c1..2bb4e44d 100755
--- a/man/manext.awk
+++ b/man/manext.awk
@@ -5,13 +5,11 @@ BEGIN {
 }
 {
   if (inman) {
-     if ($0 ~ /\*\*man-end/) {
-       inman=0;
-       print bar;
-     } else
-       print;
-  } else {
-    if ($0 ~ /\/\*man-start\*/)
-      inman=1;
-  }
+    if ($0 ~ /\*\*man-end/) {
+      inman=0;
+      print bar;
+    } else
+      print;
+  } else if ($0 ~ /\/\*man-start\*/)
+    inman=1;
 }