code and result submitted.

rdns_scan/zmap4rdns/scripts/check_manfile.py

@@ -0,0 +1,38 @@
+#!/usr/bin/env python3
+#
+# CI runs this script to verify that options appearing in ZTools' ggo.in files
+# also appear in their .ronn files.  It does not check that `make manpages` has
+# actually been run.
+#
+# This script assumes it's being run from the root of the zmap repository.
+#
+
+import sys
+
+checks = [
+    ("zopt.ggo.in", "zmap.1.ronn"),
+    ("zbopt.ggo.in", "zblocklist.1.ronn"),
+    ("zitopt.ggo.in", "ziterate.1.ronn"),
+    ("ztopt.ggo.in", "ztee.1.ronn")
+]
+
+failures = False
+
+for ggo, ronn in checks:
+    options = []
+    with open("src/" + ggo) as fd:
+        for l in fd:
+            if l.startswith("option "):
+                option = l.split()[1].lstrip('"').rstrip('"')
+                options.append(option)
+
+    man = open("src/" + ronn).read()
+
+    for option in options:
+        if option not in man:
+            failures = True
+            sys.stderr.write(f"option \"{option}\" is present in \"{ggo}\" but missing from man file \"{ronn}\"\n")
+    sys.stderr.flush()
+
+if failures:
+    sys.exit(1)