From 6604fbf2f992c25826387a3d60c574de80b71b75 Mon Sep 17 00:00:00 2001 From: jo Date: Fri, 6 Oct 2023 16:23:13 +0200 Subject: [PATCH] chore: speed up lint-docs --- Makefile | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 8c9df6ef..51a8912a 100644 --- a/Makefile +++ b/Makefile @@ -15,7 +15,11 @@ lint: venv venv/bin/pylint plugins lint-docs: venv - venv/bin/antsibull-docs lint-collection-docs --plugin-docs . + venv/bin/antsibull-docs lint-collection-docs \ + --plugin-docs \ + --validate-collection-refs self \ + --skip-rstcheck \ + . clean: git clean -xdf \