Generate metrics doc file

diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
index b034f43f0e7a7325b791f1f8680be5e0b9ff0fc8..1da2bceae44f31762aaeaa50f91784030b2c475a 100644 (file)
--- a/.github/workflows/documentation.yml
+++ b/.github/workflows/documentation.yml
@@ -62,6 +62,8 @@ jobs:
         if: ${{github.ref_name == 'master' && steps.setup-ssh.outputs.have_ssh_key != ''}}
 
       # Rec
+      - run: inv ci-metrics-rec-generate
+        working-directory: ./pdns/recursordist
       - run: inv ci-docs-rec-generate
         working-directory: ./pdns/recursordist/settings
       - run: inv ci-docs-build

diff --git a/tasks.py b/tasks.py
index 02bf27bafebfa669f2147b33e0a3ddcfc0fc42b9..5a0d53101fb206c412836eefe153b625008d8f0b 100644 (file)
--- a/tasks.py
+++ b/tasks.py
@@ -355,6 +355,10 @@ def ci_autoconf(c, meson=False):
 def ci_docs_rec_generate(c):
     c.run('python3 generate.py')
 
+@task
+def ci_metrics_rec_generate(c):
+    c.run('python3 metrics.py')
+
 @task
 def ci_docs_build(c):
     c.run('make -f Makefile.sphinx -C docs html')