From cc6b4980efb281185a0f7dd958d121cf2d268855 Mon Sep 17 00:00:00 2001 From: reivilibre Date: Tue, 10 Jun 2025 11:43:58 +0000 Subject: Add config doc generation command to lint.sh and add missing config schema. (#18522) Follows: #17892, #18456
  1. Add config doc generation command to lint.sh
  2. Add missing `user_types` config schema
--------- Signed-off-by: Olivier 'reivilibre --- scripts-dev/lint.sh | 3 +++ 1 file changed, 3 insertions(+) (limited to 'scripts-dev/lint.sh') diff --git a/scripts-dev/lint.sh b/scripts-dev/lint.sh index c656047729..7096100a3e 100755 --- a/scripts-dev/lint.sh +++ b/scripts-dev/lint.sh @@ -139,3 +139,6 @@ cargo-fmt # Ensure type hints are correct. mypy + +# Generate configuration documentation from the JSON Schema +./scripts-dev/gen_config_documentation.py schema/synapse-config.schema.yaml > docs/usage/configuration/config_documentation.md -- cgit 1.5.1