From 498b6de3a795cfa6c3f886c3a3fa09d74b4c59aa Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 16 Aug 2022 08:29:24 -0700
Subject: [PATCH] finish parameter help

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 doc/mk_api_doc.py    | 18 ------------------
 doc/parameterhelp.py | 27 +++++++++++++++++++++++++++
 2 files changed, 27 insertions(+), 18 deletions(-)
 create mode 100644 doc/parameterhelp.py

diff --git a/doc/mk_api_doc.py b/doc/mk_api_doc.py
index a427ba81a6f..6e2ef96e5d7 100644
--- a/doc/mk_api_doc.py
+++ b/doc/mk_api_doc.py
@@ -238,24 +238,6 @@ def doc_path(path):
     else:
         print('Javascript documentation disabled')
 
-    if Z3OPTIONS_ENABLED:
-        print("Z3 Options Enabled")
-        out = subprocess.call([Z3_EXE, "-pm"],stdout=subprocess.PIPE).communicate()[0]
-        modules = []
-        if out != None:
-            out = out.decode(sys.stdout.encoding)
-            module_re = re.compile(r"\[module\] (.*)\,")
-            lines = out.split("\n")
-            for line in lines:
-                m = module_re.search(line)
-                if m:
-                    modules += [m.group(1)]
-        for module in modules:
-            out = subprocess.call([Z3_EXE, "-pmhtml:%s" % module],stdout=subprocess.PIPE).communicate()[0]
-            if out == None:
-                continue
-            out = out.decode(sys.stdout.encoding)
-            
 
     doxygen_config_file = temp_path('z3api.cfg')
     configure_file(
diff --git a/doc/parameterhelp.py b/doc/parameterhelp.py
new file mode 100644
index 00000000000..5fdd160ff09
--- /dev/null
+++ b/doc/parameterhelp.py
@@ -0,0 +1,27 @@
+
+import subprocess
+import sys
+import re
+
+Z3_EXE = "z3.exe"
+
+def help():
+    print("Z3 Options Enabled")
+    out = subprocess.Popen([Z3_EXE, "-pm"],stdout=subprocess.PIPE).communicate()[0]
+    modules = []
+    if out != None:
+        out = out.decode(sys.stdout.encoding)
+        module_re = re.compile(r"\[module\] (.*)\,")
+        lines = out.split("\n")
+        for line in lines:
+            m = module_re.search(line)
+            if m:
+                modules += [m.group(1)]
+        for module in modules:
+            out = subprocess.Popen([Z3_EXE, "-pmmd:%s" % module],stdout=subprocess.PIPE).communicate()[0]
+            if out == None:
+                continue
+            out = out.decode(sys.stdout.encoding)
+            print(out)
+
+help()