Render options JSON schema to Readthedocs

.gitignore

@@ -90,3 +90,6 @@ witness.certificate.yml
 
 # transformations
 transformed.c
+
+# docs
+site/

.readthedocs.yaml

@@ -8,6 +8,16 @@ mkdocs:
   configuration: mkdocs.yml
 
 python:
-  version: 3.8
   install:
     - requirements: docs/requirements.txt
+
+build:
+  os: ubuntu-22.04
+  tools:
+    python: "3.8"
+  jobs:
+    post_install:
+      - pip install json-schema-for-humans
+    post_build:
+      - mkdir _readthedocs/html/jsfh/
+      - generate-schema-doc --config-file jsfh.yml src/util/options.schema.json _readthedocs/html/jsfh/

jsfh.yml

@@ -0,0 +1,3 @@
+expand_buttons: true
+collapse_long_descriptions: false
+link_to_reused_ref: false