From 5489ec10f5779a81363f4be560758fdb968cf6c0 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 3f358c91..9b50ad9e 100644 --- a/Makefile +++ b/Makefile @@ -15,7 +15,11 @@ lint: venv venv/bin/pylint plugins lint-docs: - 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 \