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;
 }