summaryrefslogtreecommitdiff
path: root/etc/gen_readme.py
diff options
context:
space:
mode:
authorAlberto Sartori <alberto.sartori@huawei.com>2024-07-25 17:48:54 +0200
committerAlberto Sartori <alberto.sartori@huawei.com>2024-07-26 16:38:48 +0200
commitbd6ede41a6793ae1ef9a7feb4cadb8469b8fa284 (patch)
treea59b6b8e87bffa14c6dbb67e8e555240bf44bf66 /etc/gen_readme.py
parentc4c9726158431d053af919db13fa6b812f1e4773 (diff)
downloadrules-rust-bd6ede41a6793ae1ef9a7feb4cadb8469b8fa284.tar.gz
rules-rust: Add configuration variables documentation
Diffstat (limited to 'etc/gen_readme.py')
-rw-r--r--etc/gen_readme.py28
1 files changed, 25 insertions, 3 deletions
diff --git a/etc/gen_readme.py b/etc/gen_readme.py
index adfeb3b..4dc2cf9 100644
--- a/etc/gen_readme.py
+++ b/etc/gen_readme.py
@@ -2,8 +2,12 @@ import json
import os
from typing import List
-def lines(doc:List[str]):
- return '\n'.join(doc)
+config_vars = {}
+
+
+def lines(doc: List[str]):
+ return "\n".join(doc)
+
def gen_doc(dir: str, f):
@@ -11,7 +15,12 @@ def gen_doc(dir: str, f):
rules = json.load(r)
for k, v in sorted(rules.items()):
- print(f"### `[\"{os.path.basename(dir)}\", \"{k}\"]`\n\n {lines(v['doc'])}\n", file=f)
+ global config_vars
+ config_vars.update(v.get("config_doc", {}))
+ print(
+ f"### `[\"{os.path.basename(dir)}\", \"{k}\"]`\n\n {lines(v['doc'])}\n",
+ file=f,
+ )
print("| Field | Description |", file=f)
print("| ----- | ----------- |", file=f)
for field, doc in sorted(v["field_doc"].items()):
@@ -19,6 +28,18 @@ def gen_doc(dir: str, f):
print(file=f)
+def print_config_vars(f):
+ print(
+ f"### Configuration variables\n",
+ file=f,
+ )
+ print("| Variable | Description |", file=f)
+ print("| -------- | ----------- |", file=f)
+ for v, doc in sorted(config_vars.items()):
+ print(f"| `\"{v}\"` | {' '.join(doc)} |", file=f)
+ print(file=f)
+
+
def main():
with open("README.md", "w") as f:
print(
@@ -57,6 +78,7 @@ your `repos.json`.
)
gen_doc("rules/rust", f)
gen_doc("rules/cargo", f)
+ print_config_vars(f)
main()