From ba33b250a9719d0cd5f9812540417309ca48e010 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Herv=C3=A9=20Le=20Meur?= <91831478+lemeurherve@users.noreply.github.com> Date: Fri, 3 May 2024 14:28:42 +0200 Subject: [PATCH] chore: lint Antora playbook (#31) --- playbook/antora-playbook.yml | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/playbook/antora-playbook.yml b/playbook/antora-playbook.yml index 3fdb696c..7ff4db8d 100644 --- a/playbook/antora-playbook.yml +++ b/playbook/antora-playbook.yml @@ -8,8 +8,12 @@ content: sources: - url: https://github.com/jenkins-infra/docs.jenkins.io.git branches: [main] - start_paths: [docs/tutorials, docs/user-docs, docs/solutions] - # developer docs are un-versioned that's why they are to be fetched individually + start_paths: [ + docs/solutions, + docs/tutorials, + docs/user-docs + ] + # developer docs are un-versioned that's why they're fetched individually - url: https://github.com/jenkins-infra/docs.jenkins.io.git branches: [main] start_paths: [