diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/make-doc.sh | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/scripts/make-doc.sh b/scripts/make-doc.sh index d41e234c..086fe410 100755 --- a/scripts/make-doc.sh +++ b/scripts/make-doc.sh @@ -2,6 +2,15 @@ # SPDX-License-Identifier: GPL-3.0-or-later cd "$(dirname ${0})/.." + +# generate JSON schema for the manager's declarative config +pushd manager +## the following python command should hopefully run without any dependencies except for standard python +mkdir -p ../doc/_static/ +python3 -m knot_resolver_manager.cli schema > ../doc/_static/config-schema.json +popd + + pushd doc doxygen popd |